(log(5))/(ProductLog(log(5)))