Def pg. 243

A sequence of function on to converges uniformly on to a function if for all

Claim 18.2