Fix . For each , the set is closed, because each is continuous. At every , pointwise convergence makes a Cauchy sequence, so . The Baire category theorem supplies an for which contains a nonempty open interval . For and , pass in to obtain
This local uniform Cauchy control for pointwise convergent continuous functions allows both and to depend on .