Demuestre que la inducción matemática puede utilizarse para demostrar la desigualdad más fuerte $\frac{1}{2}\cdot ...\cdot \frac{2n-1}{2n} < \frac{1}{\sqrt{3n + 1}}$ para todos los enteros mayores que 1, lo que, junto con una verificación para el caso en que n = 1, establece la desigualdad más débil que originalmente tratamos de demostrar utilizando la inducción matemática.
Caso base: P(2) \begin{aligned} \frac{1}{2}\cdot\frac{2(2)-1}{2(2)} &< \frac{1}{\sqrt{3(2) + 1}}\\ \frac{3}{8} &< \frac{1}{\sqrt{7}}\\ \frac{1}{8} &< \frac{1}{3\sqrt{7}}\\ \end{aligned}
Esto es cierto ya que $8 > 3\sqrt{7}$ .
Hipótesis inductiva: $\frac{1}{2}\cdot ...\cdot \frac{2n-1}{2n} < \frac{1}{\sqrt{3n+1}}$
En el paso inductivo, queremos demostrar que $\frac{1}{2}\cdot ...\cdot \frac{2n-1}{2n} \cdot \frac{2n+1}{2n+2} < \frac{1}{\sqrt{3n+4}}$ .
Utilizando la hipótesis inductiva, podemos llegar a lo siguiente:
\begin{aligned} \frac{1}{2}\cdot ...\cdot \frac{2n-1}{2n} \cdot \frac{2n+1}{2n+2} &< \frac{1}{\sqrt{3n+1}}\cdot \frac{2n+1}{2n+2}\\ &< \frac{1}{\sqrt{3n+1}}\cdot 1\\ \end{aligned}
No estoy seguro de cómo llegar a $< \frac{1}{\sqrt{3n+4}}$ de aquí porque sé que si el denominador se hiciera más grande al sumarle 3 entonces la desigualdad no seguiría...