Solution (source code)

= Solution

The convergence $X_n\to X$ in distribution means
$$
F_{X_n}(x)\longrightarrow F_X(x)
$$
for every continuity point $x$ of $F_X$.