How does $W$ behave near $+\infty$ compared to $\log$? In particular, I'm interested in the asymptotic expansion of
$\frac{W(x)}{\ln(x)}$
near $\infty$ (but along the positive real line, if that matters). Clearly $W(x)\sim\ln(x)$ as $x$ increases, and the next term looks hyperbolic.