>>748-753
バカでも分かるように書いたが、
ムダな計算や不等式の評価は繰り返し行っているぞ

S[m]−Σ_{k＝1,2,…,n}(1/(a_k)^2)＜0
の評価を上からしているから、
S[m]−Σ_{k＝1,2,…,n}(1/(a_k)^2)＜C(m)＋γ＜0
なるmに依存しない負の定数 C(m) が取れて、
S[m]−Σ_{k＝1,2,…,n}(1/(a_k)^2)＜C(m)＜−γ
を満たすという、当たり前の原理を確認して証明しているだけの話である
上に書いたように、mに依存しない負の定数 C(m) が取れれば、
内容的にはその時点で終了している話である