Demuestra que $$\frac{1\cdot 3\cdot 5\cdot \ldots \cdot (2n-1)}{1\cdot 2\cdot 3\cdot \ldots \cdot n}\leq 2^{n}\qquad (n\in \mathbb{N}).$$
Quiero mostrar el último paso, es decir, el paso inductivo. Supongamos que esta ecuación es verdadera para algún $n=k$. Nota que
$$\frac{1\cdot 3\cdot 5\cdot \ldots \cdot (2n-1)}{1\cdot 2\cdot 3\cdot \ldots \cdot n}=\prod_{i=1}^{n}\left [ 2-\frac{1}{i} \right ].$$ Para el caso $n=k+1$ sería $$\prod_{i=1}^{k+1}\left [ 2-\frac{1}{i} \right ]=\prod_{i=1}^{k}\left [ 2-\frac{1}{i} \right ]\left [ 2-\frac{1}{k+1} \right ]\leq 2^{k}\left [ 2-\frac{1}{k+1} \right ]=2^{k+1}-\frac{2^{k}}{k+1}.$ Tengo que demostrar que el último término es $\leq 2^{k+1}$. Pero no es posible demostrar que $2^{k}/(k+1)\geq 0$.
2 votos
A tu última línea, $2^k$ es positivo, $k+1$ es positivo, por lo que la razón sigue siendo positiva.
0 votos
Si realmente sientes que tienes que probar que $2^k$ es positivo, por supuesto puedes hacerlo usando inducción también. Definitivamente no es imposible.
0 votos
@Macavity Sí, estoy de acuerdo. Pero entonces debería haber sido $2^{k}/(k+1)\geq 1$. Por lo tanto, $2^{k+1}-\frac{2^{k}}{k+1} \leq 2^{k+1} -1$. El último término ahora es $<2^{k+1}$, pero no es $\leq 2^{k+1}$. Mi objetivo es simplemente demostrar que $\prod_{i=1}^{k+1}\left [ 2-\frac{1}{i} \right ]\leq 2^{k+1}$.
2 votos
@Ajmal $a < b \implies a \le b$
0 votos
@Macavity Oh. Olvidé totalmente esta parte. ¡Gracias!
1 votos
AjmalW: Parece que piensas que $a < b$ es una afirmación más débil que $a \le b$. ¿Por qué? Es más fuerte, ya que $a < b$ implica $a \le b$, pero $a \le b$ no implica que $a < b> (podría ser cierto que $a = b$).
0 votos
No veo cuál es el problema que tienes con tu prueba entonces? ¿Dónde está la complicación?