= Solution
After replacing $X_j$ by $X_j-\mu$, the maximal inequality for independent averages gives
$$
\left\|\sup_{m\geq1}\frac{|S_m|}{m}\right\|_{L^p}
\leq C_p\|X_1\|_{L^p},
\qquad p>1.
$$
This follows from the <Doob Lp maximal inequality> by dyadically grouping the partial sums. The strong law makes
$$
\sup_{m\geq n}\frac{|S_m|}{m}\longrightarrow0
$$
almost surely. The displayed maximal function is in $L^p$, so <dominated convergence theorem>[dominated convergence] applied to its $p$th power proves convergence in $L^p$.
Back to article page