(-x - 3)*(x - 6) >= 4*x
(-x - 3)*(x - 6) >= 4*x
____ ____ 1 \/ 73 1 \/ 73 [- - - ------, - - + ------] 2 2 2 2
x in Interval(-sqrt(73)/2 - 1/2, -1/2 + sqrt(73)/2)
/ ____ ____ \ | 1 \/ 73 1 \/ 73 | And|x <= - - + ------, - - - ------ <= x| \ 2 2 2 2 /
(x <= -1/2 + sqrt(73)/2)∧(-1/2 - sqrt(73)/2 <= x)