Prokhorov's theorem
= Prokhorov's theorem
{c}
{wiki}
On a Polish space, a family of probability measures is relatively compact for weak convergence exactly when it is tight. For finite measures, one additionally requires uniformly bounded total masses.