Justify that for all $\ell \geqslant 0$ and $n \in \mathbb{N}$, $(N(0,\ell) = n+1) = (S_n \leqslant \ell < S_{n+1})$ up to a negligible set. Deduce that, up to negligible sets,
$$\left(S_n \leqslant \ell\right) = (N(0,\ell) \geqslant n+1) \quad \text{and} \quad \left(S_n \geqslant \ell\right) \subset (N(0,\ell) \leqslant n+1).$$