 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.