Continuity of the Real Arctangent Function

Theorem: Continuity of the Real Arctangent Function

The real arctangent function is continuous.

PROOF

TODO