(x^2)/2 - x + x/(ln(x) -1) < (x^2)/2