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