Demostrar que $2^n < \binom{2n}{n} < 2^{2n}$. Esto es demostrado con bastante facilidad, dividiéndolo en dos partes y, a continuación, probar cada parte por inducción.
Primera parte: $2^n < \binom{2n}{n}$. La base de la $n = 1$ es trivial. Asumir de forma inductiva que algunos $k$ satisface nuestra declaración. El paso inductivo puede ser demostrado de la siguiente manera.
$2^k < \binom{2k}{k} \implies 2^{k+1} < 2\binom{2k}{k} = \frac{2(2k)!}{k!k!} = \frac{2(2k)!(k + 1)}{k!k!(k + 1)} = \frac{2(2k)!(k+2)}{(k+1)!k!}<\frac{(2k)!(2k+2)(2k+1)}{(k+1)!k!(k+1)} = \binom{2(k+1)}{k+1}$
Segunda parte: $2^{2n} > \binom{2n}{n}$. De nuevo, la base es trivial. Podemos suponer que para algunos $k$ nuestra declaración es satisfecho y demostrar que paso inductivo de la siguiente manera:
$2^{2k} > \binom{2k}{k} \implies 2^{2k + 2} > 2^2\binom{2k}{k} = \frac{2\cdot2(2k)!}{k!k!} = \frac{2\cdot2(2k)!(k+1)(k+1)}{k!k!(k+1)(k+1)} = \frac{(2k)!(2k+2)(2k+2)}{(k+1)!(k+1)!} > \frac{(2k)!(2k+1)(2k+2)}{(k+1)!(k+1)!} = \binom{2(k+1)}{k+1}$
Hay un no-inductivo de derivación para la desigualdad?