x<= x^2