なぜ>>649を示せばいいのか理解できません。
lim[n→∞]b_n=0のときlim[n→∞](b[1]+...+b[n])/n=0というのは証明できるのですが。