a_n≡0
の場合でも
lim_{m→∞} Σ_{k=1}{m} a_k≠0
となることが保証されました