Solution (source code)

= Solution
{c}

The <central limit theorem> states that if $W_1,W_2,\ldots$ are <independent and identically distributed> with finite <mean> $\mu$ and <variance> $0<\tau^2<\infty$, then
$$
\boxed{\frac{\sum_{i=1}^nW_i-n\mu}{\tau\sqrt n}\xrightarrow{d}N(0,1).}
$$
Here $\xrightarrow d$ denotes <convergence in distribution>.