Solution (source code)

= Solution

$X_n\Rightarrow X$ means $E f(X_n)\to E f(X)$ for every bounded continuous $f$, equivalently convergence of distribution <functions> at continuity points of $X$.