Weak convergence of probability measures (source code)

= Weak convergence of probability measures

Probability measures $\mu_n$ on a metric space converge weakly to $\mu$ when $\int f\,d\mu_n\to\int f\,d\mu$ for every bounded continuous real function $f$.