Hyperbolic function/R/Monotonicity properties/Fact