ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F1273 on D2635: Warsaw sine function
F1273
Formulation 0
The Warsaw sine function is the D4364: Real function \begin{equation} (0, 1] \to \mathbb{R}, \quad x \mapsto \sin \left( \frac{1}{x} \right) \end{equation}