________________ / 2 _______ \/ 2*x - 3*x - 5 < \/ x - 1
sqrt(2*x^2 - 3*x - 5) < sqrt(x - 1)
___ [5/2, 1 + \/ 3 )
x in Interval.Ropen(5/2, 1 + sqrt(3))
/ ___\ And\5/2 <= x, x < 1 + \/ 3 /
(5/2 <= x)∧(x < 1 + sqrt(3))