有名な極限（チェザロ平均） - べっこう色の記録

この極限の問は， $\epsilon-N$ 論法を学ぶ際には避けて通れない．

問1．
$\displaystyle \lim_{n \to \infty} a_{n} = \alpha$ 　ならば， $\displaystyle \lim_{n \to \infty} \frac{a_{1} + a_{2} + \cdots + a_{n}}{n}=\alpha$ ．

収束する数列の平均値も同一の極限値に収束するという，有名な事実であり，かつこの事実は $\epsilon-N$ 論法を使わなければ証明できないので解析学の入門書には必ず登場する．（例えば，高木貞治『解析概論』 4．数列の極限例4）
これに加えて，次も成立する．

問2．
$\displaystyle \lim_{n \to \infty} a_{n} = \infty$ 　ならば， $\displaystyle \lim_{n \to \infty} \frac{a_{1} + a_{2} + \cdots + a_{n}}{n}=\infty$ ．

（証明）
任意の $K>0$ をとる．
$\displaystyle \lim_{n \to \infty} a_{n} = \infty$ であるから，
ある $n_{1} \in \mathbb{N}$ で $a_{n} >2K$ for $n \geq n_{1}$ となるものが存在する．　（１）
さらにある $n_{2} \in \mathbb{N}$ で $n_{2}\geq n_{1},\, a_{1}+\cdots+a_{n_{2}}>0 ,\, \frac{n_{2}}{n}<\frac{1}{2}$ for $n \geq n_{2}$ 　（２）
となるものが存在する．　任意の $n \geq n_{2}$ に対して，
　 $\frac{a_{1}+\cdots+a_{n}}{n}=\frac{a_{1}+\cdots+a_{n_{2}}}{n}+\frac{a_{n_{2}+1}+\cdots+a_{n}}{n}$ 　（番号 $n_{2}$ の前後で分割した）
　　　　　　　　 $\geq 0 + \frac{a_{n_{2}+1}+\cdots+a_{n}}{n}$ 　　　　　　　（（２）を使った）
　　　　　　　　 $\geq \frac{2K+\cdots+2K}{n}$ 　（（１）を使った）
　　　　　　　　 $\geq \frac{2K \times (n-n_{2})}{n}$
　　　　　　　　 $\geq 2K \times (1-\frac{n_{2}}{n})$
　　　　　　　　 $\geq 2K \times \frac{1}{2}$ 　　　　　　　　（（２）を使った）
　　　　　　　　 $= K$ ．