Let the common bound be . The derivative bound and the mean-value theorem giveso on every compact interval the sequence is uniformly bounded and equicontinuous. Apply the Arzela-Ascoli theorem first on , then to a subsequence on , and so on. The diagonal subsequence for locally uniform convergence gives a strictly increasing such that converges uniformly on every to a function . The limit is continuous and satisfies .
Global uniform convergence need not follow. Choose a nonzero continuously differentiable bump function supported in and setThe functions and their derivatives have a common bound. On every fixed compact interval, is eventually zero, so every subsequence converges locally uniformly to . Neverthelessfor every . Thus the proposed global conclusion is false.
Solved by gpt-5.6-sol high.
Codex Wiki