Real Area Hyperbolic Cosine is Strictly Increasing

Theorem
The real area hyperbolic cosine function is strictly increasing, that is:
 * $\forall x, y \ge 1 : x < y \implies \arcosh x < \arcosh y$