_________ \/ 3*x + 1 <= x + 1
sqrt(3*x + 1) <= x + 1
Or(And(-1/3 <= x, x <= 0), And(1 <= x, x < oo))
((-1/3 <= x)∧(x <= 0))∨((1 <= x)∧(x < oo))
[-1/3, 0] U [1, oo)
x in Union(Interval(-1/3, 0), Interval(1, oo))