Let $(X_n)_{n \in \mathbb{N}}$ be a sequence of mutually independent random variables satisfying $\mathbb{P}(X_n = -1) = \mathbb{P}(X_n = 1) = \frac{1}{2}$ for all $n \in \mathbb{N}$, and let $(a_n)_{n \in \mathbb{N}}$ be a real sequence such that the series $\sum a_n^2$ converges. For all $N \in \mathbb{N}$, denote $S_N = \sum_{n=0}^N X_n a_n$. Let $(\phi(j))_{j \in \mathbb{N}}$ be a strictly increasing sequence of natural integers satisfying $\sum_{n > \phi(j)}^{+\infty} a_n^2 \leqslant \frac{1}{8^j}$ for all $j \in \mathbb{N}$. Define $B_j = \left\{\max_{\phi(j)+1 \leqslant n \leqslant \phi(j+1)} \left|S_n - S_{\phi(j)}\right| > 2^{-j}\right\}$. We denote by $B$ the event $\bigcap_{J \in \mathbb{N}} \bigcup_{j \geqslant J} B_j$. Show the equality $\mathbb{P}(B) = 0$.
Let $(X_n)_{n \in \mathbb{N}}$ be a sequence of mutually independent random variables satisfying $\mathbb{P}(X_n = -1) = \mathbb{P}(X_n = 1) = \frac{1}{2}$ for all $n \in \mathbb{N}$, and let $(a_n)_{n \in \mathbb{N}}$ be a real sequence such that the series $\sum a_n^2$ converges. For all $N \in \mathbb{N}$, denote $S_N = \sum_{n=0}^N X_n a_n$. Let $(\phi(j))_{j \in \mathbb{N}}$ be a strictly increasing sequence of natural integers satisfying $\sum_{n > \phi(j)}^{+\infty} a_n^2 \leqslant \frac{1}{8^j}$ for all $j \in \mathbb{N}$. Define $B_j = \left\{\max_{\phi(j)+1 \leqslant n \leqslant \phi(j+1)} \left|S_n - S_{\phi(j)}\right| > 2^{-j}\right\}$. We denote by $B$ the event $\bigcap_{J \in \mathbb{N}} \bigcup_{j \geqslant J} B_j$. Show the equality $\mathbb{P}(B) = 0$.