For x real,
For these and other inequalities involving hyperbolic functions see Mitrinović (1964, pp. 61, 76, 159) and Mitrinović (1970, p. 270).