2*x - 1 4*x - 5 ------- < ------- 3 5
(2*x - 1)/3 < (4*x - 5)/5
(5, oo)
x in Interval.open(5, oo)
And(5 < x, x < oo)
(5 < x)∧(x < oo)