___ \/ 1 - 5*x < x + 1
-5*x + sqrt(1) < x + 1
And(0 < x, x < oo)
(0 < x)∧(x < oo)
(0, oo)
x in Interval.open(0, oo)