User:Dionyziz/PowersOfTwo

$$\sum_{i = 0}^{k-1}2^i = 2^k - 1$$