放缩法与数列不等式的证明