How to prove this Lambert W integral representation?

162 Views Asked by At

I was wondering how to prove this Lambert W identity.

$$ - \pi W(-1) = \int_{-\infty}^{\frac{-1}{e}} \Im ( W ' (x) ) \ln(1 + \frac{1}{x} ) dx $$

Maybe with contour integration ??