2x^3 >= 1-6x^2