5.3 有效不等式