_______ _______ _________ \/ x + 6 > \/ x + 1 + \/ 2*x - 4
sqrt(x + 6) > sqrt(x + 1) + sqrt(2*x - 4)
_____ 7 \/ 146 [2, - - + -------) 2 2
x in Interval.Ropen(2, -7/2 + sqrt(146)/2)
/ _____\ | 7 \/ 146 | And|2 <= x, x < - - + -------| \ 2 2 /
(2 <= x)∧(x < -7/2 + sqrt(146)/2)