不等式约束最优性条件