___ \/ x > x - 2
sqrt(x) > x - 2
And(0 <= x, x < 4)
(0 <= x)∧(x < 4)
[0, 4)
x in Interval.Ropen(0, 4)