x 6*x + - - 3 <= 3*x + x + 1 4
x/4 + 6*x - 3 <= x + 3*x + 1
And(x <= 16/9, -oo < x)
(x <= 16/9)∧(-oo < x)
(-oo, 16/9]
x in Interval(-oo, 16/9)