Uniform limit theorem for uniformly continuous functions (source code)

= Uniform limit theorem for uniformly continuous functions

A uniform limit of uniformly continuous maps between metric spaces is uniformly continuous. Approximate the limit at both endpoints by one fixed member of the sequence and use its uniform continuity between them.