恒成立大于最大值还是最小值