| 2 | |2*x - x + 2| 2 |------------| <= |x| + --------- | 2*x - 1 | |2*x - 1|
Abs((2*x^2 - x + 2)/(2*x - 1)) <= |x| + 2/|2*x - 1|
And(x > -oo, x < oo, x != 1/2)
(x > -oo)∧(x < oo)∧(Ne(x, 1/2))
(-oo, 1/2) U (1/2, oo)
x in Union(Interval.open(-oo, 1/2), Interval.open(1/2, oo))