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