| 3 | 2 |x - 1| <= x + x + 1
|x^3 - 1| <= x^2 + x + 1
And(0 <= x, x <= 2)
(0 <= x)∧(x <= 2)
[0, 2]
x in Interval(0, 2)