Bei deinem Induktionsschritt ist noch was faul.
Erst mal heißt es am Anfang Summe bis 2 n+1 - 1 Das stimmt, aber dann
= ( und nicht ≤ ) , also
= Summe bis 2^n - 1 + und jetzt kommt nicht nur ein, sondern
alle Summanden von 2^n bis 2 n+1 - 1 , also so
= Summe bis 2^n - 1 + Summe von k=2^n bis 2 n+1 - 1 über 1/k
Und dann kannst du die Induktionsvor. einsetzen und hast
≤ n + Summe von k=2^n bis 2 n+1 - 1 über 1/k #
Und letztere Summe besteht aus 2^n Summanden
(denn von 2^n bis 2 n+1 - 1sind es genau 2^n Zahlen)
und jeder Summand ist ≤ 1 / (2 n ) also die Summe ≤ 2^n * 1 / ( 2^n ) = 1
und damit geht es bei # weiter mit
≤ n + 1 q.e.d.