8.2.2 不等式的简单变形