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