Lambert W function (source code)

= Lambert W function
{c}
{title2=$W$}
{wiki}

The Lambert W function is the multivalued inverse of $w\mapsto we^w$, so $W(z)e^{W(z)}=z$. Its principal real branch satisfies $W(z)=\log z-\log\log z+o(1)$ as $z\to+\infty$.