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.
 A: 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.
A: 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}}
$$
A: Another method to resolve this problem is, take the inequality $GM \leqslant AM \leqslant x \text {th root mean}$, then use squeeze theorem.
