(integrate(2-4x+3x^2) from 0 to a) <= a