x^3 - 2 x + 4 < 0