(integral of (x/lnx) from e to e^e) > (e^4-e^2)/2