_______ \/ x + 3 x + 1 --------- <= -------- log(1/2) log(1/2)
sqrt(x + 3)/log(1/2) <= (x + 1)/log(1/2)
And(-3 <= x, x <= 1)
(-3 <= x)∧(x <= 1)
[-3, 1]
x in Interval(-3, 1)