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.