8.3 有效不等式