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