ThmDex – An index of mathematical definitions, results, and conjectures.
F11715
Formulation 0
Let $N \in \mathbb{N}$ be a D996: Natural number.
Then \begin{equation} \sum_{n = 0}^N n = \binom{N + 1}{2} \end{equation}