_________ \/ 3*x + 1 >= x - 1
sqrt(3*x + 1) >= x - 1
[-1/3, 5]
x in Interval(-1/3, 5)
And(-1/3 <= x, x <= 5)
(-1/3 <= x)∧(x <= 5)