数列型不等式的证明