Past exam of the mathematics course of the University of Cambridge / 2020 / ii / Paper 4 / 26K / b

For $n>m$, independence and $\mathbb{E}{X}_k=0$ giveThus $(S_n)$ is a Cauchy sequence in the complete L2 space and converges in $L^2$ to some random variable $S$. The Cauchy-Schwarz inequality gives $\Vert Z{\Vert }_1\le \Vert Z{\Vert }_2$ on a probability space, so the convergence also holds in $L^1$. Finally, convergence in $L^2$ implies convergence in probability, which implies convergence in distribution.

For every finite Rademacher sum, independence and the vanishing of odd moments giveThe same calculation applied to $S_n-S_m$ shows that $(S_n)$ is Cauchy in $L^4$, because the tail of $\sum a_k^2$ tends to zero. Its $L^4$ limit agrees almost surely with its $L^2$ limit $S$, since both modes imply convergence in probability. Passing to the limit givesand therefore

A finite linear combination of independent Gaussian random variables is Gaussian, soSince $v_n\to v:={\sum }_{k\ge 1}{a}_k^2<\infty$, the characteristic functions converge pointwise:The Lévy continuity theorem yields convergence in distribution toOn the given common probability space, the same variance calculation actually proves convergence in $L^2$ as well.