That is proved here.
Given lim(j -> inf)a_j = L, prove lim(j -> inf) (a_1 + a_2 + ... + a_j)/j = L
I'm really not sure what to do here. Induction won't work, because the claim fails if j is finite. And I'm not sure how to get the lim sup and lim inf. Thoughts? Suggestions?