If $a_1,a_2,\dotsc,a_n>0 $, then $\lim\limits_{x \to \infty} \left[\frac {a_1^{1/x}+a_2^{1/x}+\dotsb+a_n^{1/x}}{n}\right]^{nx}=a_1 a_2 \dotsb a_n$

If $a_1,a_2,\dotsc,a_n $ are positive real numbers, then prove that

$$\lim_{x \to \infty} \left[\frac {a_1^{1/x}+a_2^{1/x}+.....+a_n^{1/x}}{n}\right]^{nx}=a_1 a_2 \dotsb a_n.$$

My Attempt:

Let $P=\lim_{x \to \infty} \left[\dfrac {a_1^{\frac{1}{x}}+a_2^{\frac {1}{x}}+.....+a_n^{\frac {1}{x}}}{n}\right]^{nx} \implies \ln P=\lim_{x \to \infty} \ln \left[\frac {a_1^{\frac{1}{x}}+a_2^{\frac {1}{x}}+.....+a_n^{\frac {1}{x}}}{n}\right]^{nx} =\lim_{x \to \infty} nx \ln \left[\frac {a_1^{\frac{1}{x}}+a_2^{\frac {1}{x}}+.....+a_n^{\frac {1}{x}}}{n}\right]= \lim_{x \to \infty} n \left[\frac {\ln (a_1^{1/x}+a_2^{1/x}+...+a_n^{1/x})-\ln n}{1/x}\right]$

and this is $0/0$ form and so I have to apply L'Hospital's rule. Now things get a bit complicated during derivative.

Can someone point me in the right direction? Thanks in advance for your time.

Let $$\begin{align}P &=\lim_{x \to \infty} \Big[\dfrac {a_1^{\dfrac{1}{x}}+a_2^{\dfrac {1}{x}}+.....+a_n^{\dfrac {1}{x}}}{n}\Big]^{nx}\\ \implies \ln P &=\lim_{x \to \infty} \ln \Big[\dfrac {a_1^{\dfrac{1}{x}}+a_2^{\dfrac {1}{x}}+.....+a_n^{\dfrac {1}{x}}}{n}\Big]^{nx} \\&=\lim_{x \to \infty} nx \ln \Big[\dfrac {a_1^{\dfrac{1}{x}}+a_2^{\dfrac {1}{x}}+.....+a_n^{\dfrac {1}{x}}}{n}\Big]\\&= \lim_{x \to \infty} n \Big[\dfrac {\ln (a_1^{1/x}+a_2^{1/x}+...+a_n^{1/x})-\ln n}{1/x}\Big]\\&=\lim_{z \to 0} n \Big[\dfrac {\ln (a_1^{z}+a_2^{z}+...+a_n^{z})-\ln n}{z}\Big]\end{align}$$

and this is $0/0$ form and so I have to apply L'Hospital's rule. So,$$\begin{align}\ln P &=n \lim_{z \to 0}\dfrac {1}{ (a_1^{z}+a_2^{z}+...+a_n^{z})} \times \{a_1^z \ln a_1+a_2^z \ln a_2+.....+a_n^z \ln a_n\} \\&=n \times \dfrac {1}{n}\{\ln a_1+\ln a_2+....+\ln a_n\}\\&=\ln (a_1.a_2...a_n)\\\implies P&=a_1.a_2...a_n \end{align}$$.

This completes the proof.

I will just prove this limit $$ \lim_{x\to\infty} \left(\frac {a_1^{\frac{1}{x}}+a_2^{\frac{1}{x}}+.....+a_n^{\frac{1}{x}}}{n}\right)^{x}=(a_1.a_2.....a_n)^{\frac{1}{n}} $$ We have $$\begin{align} \lim_{x\to\infty} \left(\frac {a_1^{\frac{1}{x}}+a_2^{\frac{1}{x}}+.....+a_n^{\frac{1}{x}}}{n}\right)^{x}&=\lim_{x\to\infty} \left(1+\frac {a_1^{\frac{1}{x}}+a_2^{\frac{1}{x}}+.....+a_n^{\frac{1}{x}}}{n}-1\right)^{x} \\&=e^{\displaystyle\lim_{x\to\infty}x\left(\dfrac {a_1^{\frac{1}{x}}+a_2^{\frac {1}{x}}+.....+a_n^{\frac {1}{x}}}{n}\right)} \end{align}$$ we know $a^x-1$ ~ $x\ln a$

so $$ e^{\displaystyle\lim_{x\to\infty}\left(x\cdot\frac {a_1^{\frac{1}{x}}+a_2^{\frac {1}{x}}+.....+a_n^{\frac {1}{x}}}{n}\right)}=e^{\dfrac{(\ln a_1+\ln a_2+...+\ln a_n)}{n}}=(a_1a_2\cdots a_n)^{\frac{1}{n}} $$