求不等式最小值已知0