ThmDex – An index of mathematical definitions, results, and conjectures.
Result R5671 on D2167: Binomial coefficient
Extreme values for binomial coefficient
Formulation 0
Let $n \in \mathbb{N}$ be a D996: Natural number.
Then
(1) \begin{equation} \binom{n}{0} = 1 \end{equation}
(2) \begin{equation} \binom{n}{n} = 1 \end{equation}