证明如下：
对任意大的N,总存在n1,n2,n,m使得：
N≤2n1π-0.25π≤n≤2n1π+0.25π
N≤2n2π+0.75π≤m≤2n2π+1.25π
从而cosn-cosm≥√2
即数列是发散的。
级数是指将数列的项依次用加号连接起来的函数。典型的级数有正项级数、交错级数、幂级数、傅里叶级数等。
级数理论是分析学的一个分支；它与另一个分支微积分学一起作为基础知识和工具出现在其余各分支中。二者共同以极限为基本工具，分别从离散与连续两个方面，结合起来研究分析学的对象，即变量之间的依赖关系──函数。
