Continuity of the Real Sine Function

Theorem: Continuity of the Real Sine Function

The real sine function is continuous on $\mathbb{R}$.

PROOF

TODO