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