infimum of x^2-2x