Real Arctangent Function is Order Embedding into Reals

Theorem
The real arctangent function $\arctan: \R \to \R$ is an order embedding on the set of real numbers under the usual ordering.