The Lambert W function, Nuttall's integral, and the Lambert law

This paper offers a new proof that the principal Lambert W-function W(s) is a Bernstein function. The proof derives from a known integral evaluation and leads to a more detailed description of W(s) as a Thorin-Bernstein function with a real-variable description of the Thorin measure, and refinements of some known properties of the Lambert distribution.