Supongamos que$a_n> 0$ para cada entero positivo$n$; de lo contrario, el límite puede no existir. Establezca$z_n:=n^x\,a_n$ como Martin R recomendado. Por lo tanto,$$n^x\,\left(\prod_{i=1}^n\,a_i\right)^{\frac{1}{n}}=\frac{n^x}{\left(\prod\limits_{i=1}^n\,i^x\right)^{\frac1n}}\,\left(\prod\limits_{i=1}^n\,z_i\right)^{\frac1n}=\left(\frac{n^n}{n!}\right)^{\frac{x}{n}}\,\left(\prod_{i=1}^n\,z_i\right)^{\frac1n}\,.$ $ Ahora, dado que$\displaystyle\lim_{n\to\infty}\,z_n=a$, tenemos$\displaystyle\lim_{n\to\infty}\,\left(\prod_{i=1}^n\,z_i\right)^{\frac1n}=a$ (consulte el enlace de Martin R en los comentarios anteriores). Además, la aproximación de Stirling$n!\approx \sqrt{2\pi n}\left(\frac{n}{\text{e}}\right)^n$ implica que$$\lim_{n\to\infty}\,\left(\frac{n^n}{n!}\right)^{\frac{x}{n}}=\lim_{n\to\infty}\,\left(\frac{\text{e}^n}{\sqrt{2\pi n}}\right)^{\frac{x}{n}}=\exp(x)\,.$$ Consequently, $$\lim_{n\to\infty}\,n^x\,\left(\prod_{i=1}^n\,a_i\right)^{\frac{1}{n}}=a\,\exp(x)\,.$ $