4 Elementary FunctionsLogarithm, Exponential, Powers

§4.5 Inequalities

Contents
  1. §4.5(i) Logarithms
  2. §4.5(ii) Exponentials

§4.5(i) Logarithms

4.5.1 x1+x<ln⁡(1+x)<x,
x>−1, x≠0,
4.5.2 x<−ln⁡(1−x)<x1−x,
x<1, x≠0,
4.5.3 |ln⁡(1−x)|<32⁢x,
0<x≤0.5828⁢…,
4.5.4 ln⁡x≤x−1,
x>0,
4.5.5 ln⁡x≤a⁢(x1/a−1),
a, x>0,
4.5.6 |ln⁡(1+z)|≤−ln⁡(1−|z|),
|z|<1.

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(ii) Exponentials

In (4.5.7)–(4.5.12) it is assumed that x≠0. (When x=0 the inequalities become equalities.)

4.5.7 e−x/(1−x)<1−x<e−x,
x<1,
4.5.8 1+x<ex,
−∞<x<∞,
4.5.9 ex<11−x,
x<1,
4.5.10 x1+x<1−e−x<x,
x>−1,
4.5.11 x<ex−1<x1−x,
x<1,
4.5.12 ex/(1+x)<1+x,
x>−1,
4.5.13 ex⁢y/(x+y)<(1+xy)y<ex,
x>0, y>0,
4.5.14 e−x<1−12⁢x,
0<x≤1.5936⁢…,
4.5.15 14⁢|z|<|ez−1|<74⁢|z|,
0<|z|<1,
4.5.16 |ez−1|≤e|z|−1≤|z|⁢e|z|,
z∈ℂ.

For more inequalities involving the exponential function see Mitrinović (1964, pp. 73–77), Mitrinović (1970, pp. 266–271), and Bullen (1998, pp. 81–83).