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