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