Supongamos quea_n> 0 para cada entero positivon; de lo contrario, el límite puede no existir. Establezcaz_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 Stirlingn!\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)\,.