Central limit theorem from the Skorokhod embedding (source code)

= Central limit theorem from the Skorokhod embedding
{c}

The law of large numbers gives $T_n/n\to\sigma^2$. Brownian maximal estimates then show
$$
\frac{B_{T_n}-B_{n\sigma^2}}{\sqrt n}\longrightarrow0
$$
in probability. Since $B_{n\sigma^2}/\sqrt n\sim N(0,\sigma^2)$, the embedded random walk satisfies the central limit theorem.