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