cosh⁡x≤(sinh⁡xx)3,