Continuity of the Real Arccosine Function

Theorem: Continuity of the Real Arccosine Function

The real arccosine function is continuous.

PROOF

TODO