Uniform convergence of distribution functions to a continuous limit (source code)

= Uniform convergence of distribution functions to a continuous limit

If distribution functions $F_n$ converge pointwise to a continuous distribution function $F$, then the convergence is uniform. Choose finitely many points whose successive $F$-increments and two tails are small, then use monotonicity to squeeze $F_n-F$ between its values at adjacent points.