Library Coq.Reals.PSeries_reg
Uniform convergence
Normal convergence
In a complete space, normal convergence implies uniform convergence
Each limit of a sequence of functions which converges uniformly is continue
Continuity and normal convergence
As R is complete, normal convergence implies that (fn) is simply-uniformly convergent