lim[cos(u/4n)+cos(3u/4n)+.+cos(2n-1)u/4n]/n n趋向无穷