ProductLog(x)/ln(x), as x -> infinity