Result
R3681: Mean-deviance standardisation of a random real number shows that the random real number
\begin{equation}
\frac{X_n - \mu}{\sigma}
\end{equation}
has expectation $0$ and variance $1$. Hence, the result follows from
R5405: Standard I.I.D. real central limit theorem. $\square$
