求最小值问题的目标函数值是各分支函数值的下界。