用归纳法证明对于 n>=0,1/k 的和, k=1 到 2^n >= 1 + n/2