Limit of Lambert $W$ Product Log is the Natural Log? In solving this equation $\large  y=x^ne^x$ I get the result that 
$$n \cdot W\left( \frac{y^{1/n}}{n}\right)=x $$
So now it is apparent to me that when $n=0$ you would simply get $\ln(y)=x$ by normal methods. But is there any way to show that the limit this is true as well?
$$\lim_{n \rightarrow 0}  n \cdot W\left( \frac{y^{1/n}}{n}\right)= \ln y$$

$\require{begingroup} \begingroup$
$\def\W{\operatorname{W}}$

\begin{align} L&=\lim_{n \rightarrow 0}  n \cdot \W\left(\tfrac1n y^{1/n}\right).\tag{1}\label{1}\end{align}

With the L'Hospital's rule in mind we have:
\begin{align}
L
&=\lim_{n \to 0} \frac{\W\left( \tfrac1n\exp(\tfrac1n\ln y)\right)}{1/n}
=\lim_{n \to 0} \frac{f(n)}{g(n)}
\tag{2}\label{2}
,\\
f(n)&=\W\left( \tfrac1n\exp(\tfrac1n\ln y)\right)
,\quad g(n)=1/n
,\\
\lim_{n \to 0}f(n)
&=
\lim_{n \to 0}g(n)
=\infty
,\\
f'(n)&=
-\frac1{n^2}\cdot
\frac{\W\left( \tfrac1n\exp(\tfrac1n\ln y)\right)}{1+\W\left( \tfrac1n\exp(\tfrac1n\ln y)\right)}
\cdot(n+\ln y)
,\\
g'(n)&=
-\frac1{n^2}
,\\
L&=
\lim_{n \to 0} \frac{f'(n)}{g'(n)}
=
\left(1+\W\left( \tfrac1n\exp(\tfrac1n\ln y)\right)^{-1}
\right)^{-1}
\cdot(n+\ln y)
=\ln y
.
\end{align}
$\endgroup$
