Real Area Hyperbolic Cosine is Strictly Increasing

Theorem
The real inverse hyperbolic cosine function is strictly increasing, that is:
 * $\forall x, y \ge 1 : x < y \implies \cosh^{-1} x < \cosh^{-1} y$