n=k∑in21<k21+k1−i1
mit 0 < k < i.
Induktion über die Anzahl a der Summanden:
wegen k<i beginnt es mit a=1 also Summe von k bis k+1 .
Da ist zu zeigen
n=k∑k+1n21<k21+k1−k+11
<=>k21+(k+1)21<k21+k1−k+11
<=>(k+1)21<k1−k+11
<=>(k+1)21<k(k+1)1
Und weil (k+1)2 immer größer als k(k+1) ist, ist das immer wahr.
Angenommen, es gibt ein a, für das die Aussage für alle k stimmt, dann ist zu zeigen, dass
sie auch für a+1 stimmt. Also hat man
n=k∑in21<k21+k1−i1
und muss zeigen
n=k∑i+1n21<k21+k1−i+11
Also los:n=k∑i+1n21
=n=k∑in21+(i+1)21 wegen Ind. vor.
<k21+k1−i1+(i+1)21
=k21+k1−(i1−(i+1)21)
=k21+k1−i∗(i+1)2i2+i+1
<k21+k1−i∗(i+1)2i2+i
=k21+k1−i∗(i+1)2i∗(i+1)
=k21+k1−i+11
Bingo !