| 2 | |- x - x| >= 4*x - 2
|-x^2 - x| >= 4*x - 2
(-oo, 1] U [2, oo)
x in Union(Interval(-oo, 1), Interval(2, oo))
Or(And(2 <= x, x < oo), And(x <= 1, -oo < x))
((2 <= x)∧(x < oo))∨((x <= 1)∧(-oo < x))