9.5 “半无限”约束多元函数优化问题