1 + 8*x 3*x + 2 ------- >= 10 - ------- 11 2
(8*x + 1)/11 >= -(3*x + 2)/2 + 10
And(4 <= x, x < oo)
(4 <= x)∧(x < oo)
[4, oo)
x in Interval(4, oo)