ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F11352 on R4867: Initial sum of powers of two
F11352
Formulation 0
Let $N \in \mathbb{N}$ be a D996: Natural number.
Then \begin{equation} \sum_{n = 0}^N 2^n = 2^{N + 1} - 1 \end{equation}