(4.5.1) and (4.5.5) can be verified by the
methods of Hardy et al. (1967, pp. 106–107).
(4.5.2) and (4.5.4) follow from
(4.5.1).
(4.5.3) follows from the fact that and
are successive zeros of .
(4.5.6) is obtained from the Maclaurin expansion of
.
For more inequalities involving the logarithm function see
Mitrinović (1964, pp. 75–77),
Mitrinović (1970, pp. 272–276), and
Bullen (1998, pp. 159–160).
(4.5.7) to (4.5.12) are obtained by exponentiating
the inequalities (4.5.1) and (4.5.2).
For (4.5.13), see Hardy et al. (1967, p. 102).
(4.5.14) follows from the fact that
has and as consecutive
zeros.
(4.5.15) and (4.5.16) can be derived from the
Maclaurin expansion of .
For more inequalities involving the exponential function see
Mitrinović (1964, pp. 73–77),
Mitrinović (1970, pp. 266–271), and
Bullen (1998, pp. 81–83).