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