This is an application of Lévy's conditional form of Borel-Cantelli lemma. The result is often stated as follows. Consider a sequence of events $(A_n)_n$ which is adapted to a given filtration $(\mathcal F_n)_n$. Then the random series $\sum\limits_n\mathbf 1_{A_n}$ converges/diverges almost surely if and only if the random series $\sum\limits_n\mathrm P(A_{n+1}\mid\mathcal F_{n})$ converges/diverges almost surely.
Here, consider $\mathcal F_n=\sigma(X_k;k\leqslant n)$ and $A_{n+1}=[n^2X_{n+1}\leqslant S_n]$ with $S_n=X_1+\cdots+X_n$. Then $\mathrm P(A_{n+1}\mid\mathcal F_{n})=\frac1{n^2}S_n$. By the strong law of large numbers, $\frac1nS_n\to\mathrm E(X_1)=\frac12$ hence, almost surely, $S_n\gt\frac14n$ for every $n$ large enough. This proves that $\sum\limits_n\frac1{n^2}S_n$ diverges almost surely. Hence, almost surely, infinitely many events $A_n$ occur, QED.