用分支定界法求解一个极大化的整数规划问题时，任何一个可行解的目标函数值是该问题的下界。