f(x) = (ln(x) - ln(sqrt(2 * pi))) / (ProductLog(ln(x