若不等式ax^2+bx+c>0(a不等于0)的解集是空集,那么下列式子正确的是