离开什么意思:高二不等式的证明