k=1 Da ist die Summe \( b_0 - b_1 + b_2 \)
Es sind alle bk ≥0 und wegen der
Monotonie ist b2 ≤ b1 also \( - b_1 + b_2 \le 0 \)
und damit \( b_0 - b_1 + b_2 \le b_0 \)
Wenn es nun für k gilt , also \( \sum \limits_{n=0}^{2k} (-1)^n \cdot b_n \le b_0 \)
dann musst du es für k+1 zeigen:
\( \sum \limits_{n=0}^{2(k+1)} (-1)^n \cdot b_n = \sum \limits_{n=0}^{2k+2} (-1)^n \cdot b_n \)
\( = \sum \limits_{n=0}^{2k} (-1)^n \cdot b_n + (-1)^{2k+1} \cdot b_{2k+1} + (-1)^{2k+2} \cdot b_{2k+2} \)
\( = \sum \limits_{n=0}^{2k} (-1)^n \cdot b_n - b_{2k+1} + b_{2k+2} \)
wieder ist wegen der Monotonie \( - b_{2k+1} + b_{2k+2} \le 0 \)
und die Summe davor nach Induktionsannahme ≤bo . Wenn also etwas
nicht positives dazu addiert wird, bleibt es ≤bo
also \( \sum \limits_{n=0}^{2(k+1)} (-1)^n \cdot b_n \le b_0 \) q.e.d.