In real analysis, Bernoulli's inequality (named after Jacob Bernoulli) is an inequality that approximates exponentiations of 1 + x.
The inequality states that
for every integer r ≥ 0 and every real number x ≥ −1. If the exponent r is even, then the inequality is valid for all real numbers x. The strict version of the inequality reads
for every integer r ≥ 2 and every real number x ≥ −1 with x ≠ 0.
There is also a generalized version that says for every real number r ≥ 1 and real number x ≥ -1,
while for 0 ≤ r ≤ 1 and real number x ≥ -1,
Bernoulli's inequality is often used as the crucial step in the proof of other inequalities. It can itself be proved using mathematical induction, as shown below.
Jacob Bernoulli first published the inequality in his treatise “Positiones Arithmeticae de Seriebus Infinitis” (Basel, 1689), where he used the inequality often.
According to Joseph E. Hofmann, Über die Exercitatio Geometrica des M. A. Ricci (1963), p. 177, the inequality is actually due to Sluse in his Mesolabum (1668 edition), Chapter IV "De maximis & minimis".
For r = 0,
is equivalent to 1 ≥ 1 which is true as required.
Now suppose the statement is true for r = k:
Then it follows that
By induction we conclude the statement is true for all r ≥ 0.
The exponent r can be generalized to an arbitrary real number as follows: if x > −1, then
for r ≤ 0 or r ≥ 1, and
for 0 ≤ r ≤ 1.
This generalization can be proved by comparing derivatives. Again, the strict versions of these inequalities require x ≠ 0 and r ≠ 0, 1.
The following inequality estimates the r-th power of 1 + x from the other side. For any real numbers x, r > 0, one has
where e = 2.718.... This may be proved using the inequality (1 + 1/k)k < e.