ThmDex – An index of mathematical definitions, results, and conjectures.
F4152
Formulation 2
The standard real cosine function is the D4364: Real function \begin{equation} \mathbb{R} \to [-1, 1], \quad x \mapsto 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \frac{x^8}{8!} - \dots \end{equation}