Hyperbolic function/R/Monotonicity properties/Fact/Proof