|cosh⁡x-cosh⁡y|≥|x-y|⁢sinh⁡x⁢sinh⁡y,