Sum of Powers of 2/Proof 1

Proof
From Sum of Geometric Sequence:


 * $\ds \sum_{j \mathop = 0}^{n - 1} x^j = \frac {x^n - 1} {x - 1}$

The result follows by setting $x = 2$.