>>420
lim[n→∞]a_n=aを言い換えると、
∀ε>0,∃N;N<n⇒|a_n-a|<ε
このとき、
|{(a_1+a_2+…+a_n)/n}-a|
=|{(a_1-a)+(a_2-a)+…+(a_n-a)}/n|
≦{|a_1-a|+|a_2-a|+…+|a_n-a|/n}
<{(ε+ε+…+ε)/n}
=ε
これより示された。

これでOKですか？