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.