| 2 | | 2 | |x + x + 1| <= |x + 3*x + 4|
|x^2 + x + 1| <= |x^2 + 3*x + 4|
[-3/2, oo)
x in Interval(-3/2, oo)
And(-3/2 <= x, x < oo)
(-3/2 <= x)∧(x < oo)