H_{2^n} \geq 1 + \frac{n}{2}