不等式性质。