n
(4n/3) - 1 ≥ ∑ 1/(3)k n∈N
k=1
Verankerung n= 1
4/3 - 1 ≥ 1/3 |richtig!
Indunktionsschritt: n --> n+1
Indvoraussetzung:
n
(4n/3) - 1 ≥ ∑ 1/(3)k n∈N
k=1
Ind.behauptung
n+1
(4(n+1)/3) - 1 ≥ ∑ 1/(3)k n∈N
k=1
Beweis
Linke Seite von ≥
(4(n+1)/3) - 1 = 4n/3 + 4/3 -1
n+1
(4(n+1)/3) - 1 ?≥ ∑ 1/(3)k n∈N
k=1
rechte Seite von ≥ abschätzen:
n
≥ ∑ 1/(3)k + 1/3^{n+1} Ind. Voraussetzung einsetzen:
k=1
≤ (4n/3) - 1 + 1/3^{n+1} ≤ (4n/3) - 1 + 1/3
< (4n/3) -1 + 4/3 = 4(n+1)/3 - 1 qed.