The Bernoulli inequality states
(1)
|
where
is a real number and
an integer.
This inequality can be proven by taking a Maclaurin series of ,
(2)
|
Since the series terminates after a finite number of terms for integral , the Bernoulli inequality for
is obtained by truncating after the first-order term.
When ,
slightly more finesse is needed. In this case, let
so that
, and take
(3)
|
Since each power of multiplies by a number
and since the absolute value
of the coefficient of each subsequent term is smaller
than the last, it follows that the sum of the third order and subsequent terms is
a positive number. Therefore,
(4)
|
or
(5)
|
completing the proof of the inequality over all ranges of parameters.
For ,
the following generalizations of Bernoulli inequality are valid for real exponents:
(6)
|
and
(7)
|
(Mitrinović 1970).