一个不等式小于0恒成立