Trivial:
Indukcją.
1. n
0 = 1, wtedy:
(1 + x)
1 ≥ 1 + 1*x OK.
2. ∀n > n
0:
(?) ((1+x)
n ≥ 1 + nx) ⇒ ((1+x)
n+1 ≥ 1 + (n+1)x)
(1+x)
n+1 ≥ 1 + (n+1)x
(1+x)
n*(1+x) ≥ 1 + nx + x
(1+x)
n + x(1+x)
n − x ≥ 1 + nx
(1+x)
n + x[(1+x)
n − 1] ≥ 1 + nx
Twierdzenie zachodzi, jeśli:
x[(1+x)
n − 1] ≥ 0
Przypadek I
x ≤ 0
(1+x)
n − 1 ≤ 0
(1+x)
n ≤ 1 /
n√ , bo x ≥ −1
1 + x ≤ 1
x ≤ 0, więc OK.
Przypadek II
x ≥ 0
(1 + x)
n − 1 ≥ 0
(1 + x)
n ≥ 1 /
n√ , bo x ≥ −1
1 + x ≥ 1
x ≥ 0, więc OK.
Co kończy dowód.