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