_________ _________ \/ 7 - 2*x < \/ 5*x + 1
sqrt(7 - 2*x) < sqrt(5*x + 1)
(6/7, 7/2]
x in Interval.Lopen(6/7, 7/2)
And(x <= 7/2, 6/7 < x)
(x <= 7/2)∧(6/7 < x)