利用不等式性质将x>y变形为y