1/3(4x-x^4) >= 0.5