不等式证明(反证法、放缩法)