Let $(F_n)_{n\ge 1}$ be a sequence of distribution functions on $\mathbb R$, and let $F:\mathbb R\to[0,1]$ be a distribution function. Thus each $F_n$ and $F$ is nondecreasing, right-continuous, satisfies $\lim_{x\to-\infty}F_n(x)=\lim_{x\to-\infty}F(x)=0$, and satisfies $\lim_{x\to\infty}F_n(x)=\lim_{x\to\infty}F(x)=1$. Assume that for every continuity point $x\in\mathbb R$ of $F$,