Local compactness plus uniform tail control (source code)

= Local compactness plus uniform tail control

Strong convergence on every bounded region combines with a tail estimate uniform in the sequence to give global strong convergence.