With the notation and setup of the previous questions (mutually independent Rademacher variables, $S_N = \sum_{n=0}^N X_n a_n$, events $B_j$, $B_{j,m}$), show that the event
$$\left\{\exists J \in \mathbb{N}, \quad \forall j \geqslant J, \quad \forall n \in \llbracket \phi(j)+1, \phi(j+1) \rrbracket, \quad |S_n - S_{\phi(j)}| \leqslant 2^{-j}\right\}$$
occurs with probability 1.