Portmanteau theorem (source code)

= Portmanteau theorem
{wiki}

The Portmanteau theorem gives equivalent formulations of weak convergence, including inequalities on open and closed sets and convergence of expectations for every bounded measurable function whose discontinuity set has zero limiting probability.