_______ \/ x - 1 < 3 - x
sqrt(x - 1) < 3 - x
[1, 2)
x in Interval.Ropen(1, 2)
And(1 <= x, x < 2)
(1 <= x)∧(x < 2)