12*x 9*x 6 + 3*x ----*(2*x - 3) - --- < ------- 5 5 2
-9*x/5 + (12*x/5)*(2*x - 3) < (3*x + 6)/2
______ ______ 35 \/ 1865 35 \/ 1865 (-- - --------, -- + --------) 32 32 32 32
x in Interval.open(35/32 - sqrt(1865)/32, 35/32 + sqrt(1865)/32)
/ ______ ______ \ | 35 \/ 1865 35 \/ 1865 | And|x < -- + --------, -- - -------- < x| \ 32 32 32 32 /
(x < 35/32 + sqrt(1865)/32)∧(35/32 - sqrt(1865)/32 < x)