Euler Formula for Sine Function/Real Numbers

Theorem

 * $\ds \sin x = x \prod_{n \mathop = 1}^\infty \paren {1 - \frac {x^2} {n^2 \pi^2} }$

for all $x \in \R$.