\[|\cosh x-\cosh y|\geq|x-y|\sqrt{\sinh x\sinh y},\]