(>>624の続き)
故に、C(m)＝−((a_n)^2＋1)log((a_n)^2)−1 とおけば、
C(m) はmには依存しない定数であって、
S[m]−Σ_{k＝1,2,…,n}(1/(a_k)^2)＜C(m)＋γ＜0
即ち、S[m]−γ＜C(m)＋γ＜0 である
[第６段]：m≧(a_n)^2＋2 なる整数mは任意に取っていたから、
m≧(a_n)^2＋2 なる整数mを動かして考えれば、
実数列 {S[m]} に対して或る C＜0 なる実数Cが一意に存在して、
任意の m≧(a_n)^2＋2 なる整数mに対して S[m]−γ＜C＜0 である
よって、m→+∞ とすれば、lim_{m→+∞}(S[m]−γ)≦C＜0 から
lim_{m→+∞}(S[m])≦C＋γ＜γ を得る