数列不等式(放缩法)