/ 2 \ log(0.0)*5*\2*x + 3*x + 1/ >= 2*log(0.0)*5*(x - 1)
(5*log(0.0))*(2*x^2 + 3*x + 1) >= (5*(2*log(0.0)))*(x - 1)