(x*log(x)/lambertw(x*log(x)))^(1/x) == exp(lambertw(x*log(x))/x