If $F$ is strictly increasing with closed image, then $F$ is continuous Let $F$ be a strictly increasing function on $S$, a subset of the real line. If you know that $F(S)$ is closed, prove that $F$ is continuous.

Here's an approach by contraposition.  Let $f$ be a strictly increasing function discontinuous at $x\in S$.  Then $f(x)\lt\lim_{y\to x+}f(y)$ or $f(x)\gt\lim_{y\to x-}f(y)$ (or both).  Suppose $f(x)\lt\lim_{y\to x+}f(y)$.  Then you can show that $\lim_{y\to x+}f(y)$ is in $\overline{f(S)}\setminus f(S)$, so $f(S)$ is not closed.  To see that the limit is in the closure of $f(S)$ is a straightforward unwinding of definitions. It's not in $f(S)$ because for every $z\lt x$, $f(z)\lt f(x)\lt\lim_{y\to x+}f(y)$, and for every $z\gt x$, $\lim_{y\to x+}f(y)\lt f(z)$.    (Similarly on the other side.  It may help to keep in mind that $\lim_{y\to x-}f(y)=\sup_{y\lt x}f(y)$ and $\lim_{y\to x+}f(y)=\inf_{y\gt x}f(y)$.)
Here's a way that doesn't use contraposition (although there is a bit of contradiction).  Let $x$ be an element of $S$, and let $x_1,x_2,\ldots$ be an increasing sequence in $S$ converging to $x$.  Then $f(x_1),f(x_2),\ldots$ is an increasing sequence bounded above by $f(x)$, and hence it converges.  Since $f(S)$ is closed, there is a $z\in S$ such that $f(x_n)\to f(z)$ as $n\to \infty$.  I claim that $z=x$.  If $z$ were bigger than $x$, then we'd have $f(x_n)\leq f(x)\lt f(z)$ for all $n$, making the convergence impossible.  If $z$ were smaller than $x$, we'd have $z$ smaller than $x_n$ for some $n$, so $f(z)\lt f(x_n)\leq f(x_{n+1})\leq\cdots$, again making the convergence impossible.  So $z=x$ as claimed.  This implies that the left-hand limit of $f$ at $x$ exists and equals $f(x)$.  Similarly on the right, so $f$ is continuous.
