Deje fn ser una secuencia de funciones, fn:S→T, no necesariamente continua y supongamos que fn→fn→∞. Deje f ser uniformemente continua. I. e. para todos los ϵ>0,∃δ>0 tal que ∀x∈S,|f(x)−f(y)|<ϵ siempre |x−y|<δ,y∈S.
Queremos demostrar que para todos los ϵ>0, ∃N tal que para todos los x∈S,n>N,|fn(x)−f(x)|<ϵ.
Si la necesitamos, S es compacto y T=C.
Desde S es compacto, por el teorema del valor extremo existe c,d∈S tal que f(c)≤f(x)≤f(d), ∀x∈S.