___ \/ x - 20 <= x - 2
sqrt(x) - 20 <= x - 2
And(0 <= x, x < oo)
(0 <= x)∧(x < oo)
[0, oo)
x in Interval(0, oo)