prove by induction sum 1/k from k=1 to 2^n >= 1 + n/2 for n>=0