3 1 |3*x + 1| + 2 + ------------- <= --------- + 2 |3*x + 1| - 2 |3*x + 1|
|3*x + 1| + 2 + 3/(|3*x + 1| - 2) <= 2 + 1/|3*x + 1|
Or(And(-1 < x, x < -1/3), And(-1/3 < x, x < 1/3))
((-1 < x)∧(x < -1/3))∨((-1/3 < x)∧(x < 1/3))
(-1, -1/3) U (-1/3, 1/3)
x in Union(Interval.open(-1, -1/3), Interval.open(-1/3, 1/3))