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