Equicontinuity of a pointwise convergent sequence of monotone functions with continuous limit I was looking at this question, and trying to come up with a counterexample.  After thinking about it, I thought the following might be true:

Claim: let $\{f_n\}$ be a sequence of continuous, monotonically increasing functions on a compact $K \subset \Bbb R$.
That is, each $f_n : K \to \mathbb{R}$ satisfies $x < y \implies f(x) \leq f(y)$.
Suppose $f_n \to f$ pointwise, where $f$ is a continuous function.  Then the family $\{f_n\}$ is equicontinuous.

Is it true? If so, I'd like to prove it, and if not, I'd like a counterexample.
My thoughts so far: I think it's true, but perhaps this is due to a lack of imagination. It's clear that $f$ must be monotonically increasing.  Also, $f_n - f$ is a sequence of continuous functions that converges to $0$ pointwise.
I was also thinking of perhaps starting with a lack of continuity and proving the existence of a jump discontinuity in $f$, though it's not clear this would work.
Any input is appreciated!
EDIT: This is much healthier's answer in the original question suggests a certain working $\epsilon$-$\delta$ proof, so if anyone wants to work through that I'd appreciate it.  Alternate approaches would be even more interesting to me.
 A: Such a family is equicontinuous, and hence uniformly equicontinuous, since $K$ is compact.
Fix $x\in K$ arbitrarily, and let $\varepsilon > 0$. Since $f$ is continuous and monotonically increasing (not necessarily strictly), there is a $\delta > 0$ such that for every $y \in [x-\delta,x+\delta] \cap K$ we have $f(x) - \varepsilon/4 \leqslant f(y) \leqslant f(x) + \varepsilon/4$.
Let $a = \min [x-\delta,x]\cap K$ and $b = \max [x,x+\delta]\cap K$. Since $f_n \to f$ pointwise, there is an $n_0$ such that $\lvert f_n(a) - f(a)\rvert \leqslant \varepsilon/4$ and $\lvert f_n(b) - f(b)\rvert \leqslant \varepsilon/4$ for all $n \geqslant n_0$.
For $n \geqslant n_0$, we then have $\lvert f_n(y) - f_n(x)\rvert \leqslant f_n(b) - f_n(a) \leqslant (f(x)+2\varepsilon/4) - (f(x) - 2\varepsilon/4) = \varepsilon$ for all $y \in [x-\delta,x+\delta]\cap K$.
For each of the finitely many $n < n_0$, there is a $\delta_n > 0$ such that $\lvert f_n(y) - f_n(x)\rvert \leqslant \varepsilon$ for $y \in [x-\delta_n,x+\delta_n]\cap K$.
Then we have $\lvert f_n(y) - f_n(x)\rvert \leqslant \varepsilon$ for all $y\in [x-\eta,x+\eta]\cap K$ and all $n$ if we choose
$$\eta = \min \{\delta\}\cup \{\delta_n : n < n_0\}.$$
Thus $\{ f_n\}$ is equicontinuous in $x$. Since $x$ was arbitrary, $\{f_n\}$ is equicontinuous on $K$. Since $K$ is compact, $\{f_n\}$ is uniformly equicontinuous on $K$, and therefore the topologies of pointwise convergence and uniform convergence on $K$ coincide on $\{f_n\}$.
