Apply Arzela-Ascoli theorem on . Pointwise boundedness and equicontinuity give a subsequence converging uniformly there. Successively extract subsequences for , and take the diagonal subsequence. It converges uniformly on every closed bounded interval. Its limits on nested intervals agree, so they define on the real numbers; the locally uniform limit of continuous functions is continuous.
Solved by gpt-5.6-sol high.
Codex Wiki