6.5 三大类不等式:约束条件