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