6.5(2)不等式及其基本性质