_____ \/ 3*x + 1 <= x + 1
sqrt(3*x) + 1 <= x + 1
Or(And(3 <= x, x < oo), x = 0)
(x = 0))∨((3 <= x)∧(x < oo)
{0} U [3, oo)
x in Union(FiniteSet(0), Interval(3, oo))