¿Cómo mostrar 12⋅34⋅56⋯99100<11212⋅34⋅56⋯99100<112\frac12\cdot\frac34\cdot\frac56\cdots\frac{99}{100}<\frac{1}{12}? [cerrado]

Para$m,n\in\mathbb{N}$con$m\leq n$, dejar$S_{m,n}:=\prod_{i=m}^n\,\frac{2i-1}{2i}$. Entonces,

$$S_{m,n}^2=\prod_{i=m}^n\,\left(\frac{2i-1}{2i}\right)^2 \leq \prod_{i=m}^n\,\left(\frac{2i-1}{2i}\right)\left(\frac{2i}{2i+1}\right)=\prod_{i=2m-1}^{2n}\,\frac{i}{i+1}=\frac{2m-1}{2n+1}\,.$$ Por lo tanto, $S_{m,n}\leq\sqrt{\frac{2m-1}{2n+1}}$. En particular, $S_{4,50}\leq\sqrt{\frac{7}{101}}$. Ahora, $S_{1,50}=\frac{1}{2}\cdot\frac{3}{4}\cdot\frac{5}{6}\cdot S_{4,50}$. Por eso, $$S_{1,50}\leq\frac{15}{48}\sqrt{\frac{7}{101}}<\frac{1}{12}\,.$$

También puedes mostrar que$S_{m,n}\geq\sqrt{\frac{m-1}{n}}$, entonces$S_{1,50}\geq\frac{1}{2}\cdot\frac{3}{4}\cdot\frac{5}{6}\cdot\frac{7}{8}\cdot\sqrt{\frac{4}{50}}=\frac{7}{64\sqrt{2}}$. esto te dará$\frac{1}{13}<S_{1,50}<\frac{1}{12}$. asintóticamente,$S_{1,n}\sim\frac{1}{\sqrt{\pi n}}$. En efecto,

$$\frac{1}{\sqrt{\pi\left(n+\frac12\right)}}<S_{1,n}<\frac{1}{\sqrt{\pi n}}\,.$$

Suponiendo que conoce los factoriales y sus aproximaciones, reescriba

$$A=\frac12\times\frac34\times\frac56\times\cdots\times\frac{99}{100}=\frac12\times\frac22\times\frac34\times\frac44\times\frac56\times\frac66\times\cdots\times \frac{99}{100}\times \frac{100}{100}$$ $$A=\frac{1}{4^{50}}\frac{1\times2\cdots\times 100}{(1\times2\cdots\times 50)^2}=\frac{1}{4^{50}}\frac{100!}{(50!)^2}$$ En este punto, podemos usar la aproximación de Stirling del factorial $$n!\approx \sqrt{2\pi n} \big(\frac n e\big)^n$$ Entonces $$A_n=\frac{(2n)!}{4^n (n!)^2}\approx \frac{1}{\sqrt{\pi n}}$$ Para el problema, utilice $n=50$.