Theorem T2 Let HnH_nHn be the harmonic numbers. Then H2m≥1+m2H_{2^m} \geq 1 + \frac{m}{2} H2m≥1+2m for all integer m≥0m \geq 0m≥0.