2 11*x - 4 x -------- >= -- 5 2
(11*x - 4)/5 >= x^2/2
[2/5, 4]
x in Interval(2/5, 4)
And(2/5 <= x, x <= 4)
(2/5 <= x)∧(x <= 4)