(10 über 5) = 252 < 256 = 2^8 = 22*(5-1) klappt !
Gelte für ein n≥5 \( \begin{pmatrix} 2n\\n \end{pmatrix} \lt 2^{2 \cdot (n-1)} \) #
Dann hat man: \( \begin{pmatrix} 2(n+1)\\n+1 \end{pmatrix} = \begin{pmatrix} 2n+2\\n+1 \end{pmatrix} = \begin{pmatrix} 2n+1\\n \end{pmatrix}+\begin{pmatrix} 2n+1\\n+1 \end{pmatrix} \)
\( = \begin{pmatrix} 2n\\n \end{pmatrix}+\begin{pmatrix} 2n\\n-1 \end{pmatrix} + \begin{pmatrix} 2n\\n \end{pmatrix}+\begin{pmatrix} 2n\\n+1 \end{pmatrix} \)
\( = 2 \cdot ( \begin{pmatrix} 2n\\n-1 \end{pmatrix} + \begin{pmatrix} 2n\\n \end{pmatrix}) \)
Wegen \( = \begin{pmatrix} 2n\\n-1 \end{pmatrix} \lt \begin{pmatrix} 2n\\n \end{pmatrix} \) geht es weiter mit
\( \lt 2 \cdot ( 2 \cdot \begin{pmatrix} 2n\\n \end{pmatrix}) = 4 \cdot \begin{pmatrix} 2n\\n \end{pmatrix} \) mit # gibt das
\( \lt 4 \cdot 2^{2 \cdot (n-1)} = 2^{2 \cdot ((n+1)-1)} \)