Processing math: 66%
ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F11722 on D4197: Central binomial coefficient
F11722
Formulation 1
Let nN be a D996: Natural number.
The central binomial coefficient with respect to n is the D996: Natural number \begin{equation} \binom{2 n}{n} = \# \left\{ E \subseteq \{ 1, \ldots, 2 n \} : |E| = n \right\} \end{equation}