__________ / 2 \/ 5*x - x < x - 2
sqrt(-x^2 + 5*x) < x - 2
(4, 5]
x in Interval.Lopen(4, 5)
And(x <= 5, 4 < x)
(x <= 5)∧(4 < x)