A sharp inequality involving hyperbolic and inverse hyperbolic functions

Roman Drnovšek

We prove that the inequality $$\cosh \left(\mathrm{arcosh}(2\cosh u)\cdot \tanh u\right)<\exp \left(u\cdot \tanh u\right)$$ holds for all $u>0$. We check with the comput…