Para \( k=1 \) es cierta.
La supones cierta para \( k = n \geq 1 \) tienes \( \dfrac{1 \cdot 3 \cdot 5 \cdot \cdots \cdot (2n-1)}{2 \cdot 4 \cdot 6 \cdot \cdots \cdot (2n)} \leq \dfrac{1}{\sqrt{1+3n}} \).
Verifiquemos para \( k = n+1 \)
\( {\displaystyle \dfrac{1 \cdot 3 \cdot 5 \cdot \cdots \cdot (2n-1) \cdot (2n+1) }{2 \cdot 4 \cdot 6 \cdot \cdots \cdot (2n) \cdot (2n+2)} = \dfrac{1 \cdot 3 \cdot 5 \cdot \cdots \cdot (2n-1)}{2 \cdot 4 \cdot 6 \cdot \cdots \cdot (2n)} \cdot \dfrac{2n+1}{2n+2} \leq \dfrac{1}{\sqrt{1+3n}} \cdot \dfrac{2n+1}{2n+2}} \)
\( {\displaystyle \dfrac{1}{\sqrt{1+3n}} \cdot \dfrac{2n+1}{2n+2} = \dfrac{1}{\sqrt{1+3n}} \cdot \dfrac{2n+1}{2n+2} \cdot \dfrac{\sqrt{1+3 \cdot (n+1)}}{\sqrt{1+3 \cdot (n+1)}} = \dfrac{\sqrt{1+3 \cdot (n+1)}}{\sqrt{1+3n}} \cdot \dfrac{2n+1}{2n+2} \cdot \dfrac{1}{\sqrt{1+3 \cdot (n+1)}}} \)
Intenta demostrar:
\( \displaystyle \dfrac{\sqrt{1+3 \cdot (n+1)}}{\sqrt{1+3n}} \cdot \dfrac{2n+1}{2n+2} \leq 1 \)
Eleva al cuadrado y haz cuentas.
EditadoMira el spoiler sólo si no te sale:
Spoiler
\( \displaystyle \dfrac{\sqrt{1+3 \cdot (n+1)}}{\sqrt{1+3n}} \cdot \dfrac{2n+1}{2n+2} \triangle 1 \) multiplico por \( \displaystyle \sqrt{1+3n} \cdot (2n+2) > 0 \) queda:
\( \displaystyle \sqrt{1+3 \cdot (n+1)} \cdot (2n+1) \triangle \sqrt{1+3n} \cdot (2n+2) \) elevo al cuadrado:
\( \displaystyle (1+3 \cdot (n+1)) \cdot (2n+1)^2 \triangle (1+3n) \cdot (2n+2)^2 \) expando la expresión.
\( \displaystyle 12 \cdot n^3 + 28 \cdot n^2 + 19 \cdot n + 4 \triangle 12 \cdot n^3 + 28 \cdot n^2 + 20 \cdot n + 4 \)
\( \displaystyle 12 \cdot n^3 + 28 \cdot n^2 + 19 \cdot n + 4 \triangle 12 \cdot n^3 + 28 \cdot n^2 + 19 \cdot n + n + 4 \)
\( \displaystyle \cancel{12 \cdot n^3} + \cancel{28 \cdot n^2} + \cancel{19 \cdot n} + \cancel{4} \triangle \cancel{12 \cdot n^3} + \cancel{28 \cdot n^2} + \cancel{19 \cdot n} + n + \cancel{4} \)
\( 0 \triangle n \) entonces para todo \( n \in \mathbb{N} \) tenemos:
\( \displaystyle \dfrac{\sqrt{1+3 \cdot (n+1)}}{\sqrt{1+3n}} \cdot \dfrac{2n+1}{2n+2} < 1 \)
Pongo \( \triangle \) por que en un principio no sé en que sentido pueda estar la desigualdad.