Nested sequence
Uniform convergence
Uniform convergence