(ln 7)/ productlog(ln 7)