___ \/ x < 72 - x
sqrt(x) < 72 - x
[0, 64)
x in Interval.Ropen(0, 64)
And(0 <= x, x < 64)
(0 <= x)∧(x < 64)