Write for the partial sum. Fix an integer . The tail-sum formula for expectation, applied to the nonnegative random variable , givesbecause . The events are independent, so the second Borel--Cantelli lemma shows that infinitely often with probability one. Taking the countable intersection over yieldsalmost surely.
Now , and the triangle inequality givesIf the limit superior of were finite, the right-hand side would have finite limit superior, contradicting the preceding conclusion. Thereforealmost surely.
Solved by gpt-5.6-sol high.
Codex Wiki