_______ _________ _______ \/ x + 2 - \/ 3*x - 1 > \/ x - 1
sqrt(x + 2) - sqrt(3*x - 1) > sqrt(x - 1)
____ 4 2*\/ 13 [1, - - + --------) 3 3
x in Interval.Ropen(1, -4/3 + 2*sqrt(13)/3)
/ ____\ | 4 2*\/ 13 | And|1 <= x, x < - - + --------| \ 3 3 /
(1 <= x)∧(x < -4/3 + 2*sqrt(13)/3)