Hyperbolic function/R/Monotonicity properties/Fact/Proof

Proof

See exercise and exercise.