Continuity of the Real Cosine Function

Theorem: Continuity of the Real Cosine Function

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

PROOF

TODO