5.3.1 无约束问题的最优性条件