In this post I’m going to explore several theorems that are generally agreed to be the most important elements of single-variable differential calculus. These are the Mean Value Theorem (and its generalized counterpart, employed in the proof of L’Hopital’s Rule), the Intermediate Value Theorem, the Extreme Value Theorem, and lastly, L’Hopital’s Rule itself. I consider the latter a significant result simply due to its practical utility in the evaluation of limits.

One who is not familiar with the reasoning behind the Monotone Convergence Theorem and the so-called “Peak Point Lemma” certainly cannot lay claim to understanding the theorem of Bolzano-Weierstrass. In the same way, the understanding of these major single-variable results is crucial to maintain a firm footing in the multivariable setting that seems to be so full of *“reductio ad single-variable”* proof techniques.

The first thing I’d like to touch on is the Intermediate Value Theorem. I’ve seen this proved using the nested interval theorem and a binary-search-esque method, but the proof I will give is slightly different. The basic idea of the proof involves considering the set of points in the domain where the function is negative, invoking the completeness axiom to obtain its least upper bound, and arguing that this least upper bound (by the continuity of ) is indeed the intermediate point we are looking for, that is, the point where the function is zero.

**Intermediate Value Theorem**. Let be a continuous function with and . Then there exists such that .

**Proof**. Consider the set . Certainly and , so as a nonempty, bounded set, has a least upper bound by the completeness axiom. Certainly since is an upper bound for and . Also because is also an upper bound for , and is the least upper bound for . So . Also, for any so it is not an upper bound for . Hence there exists with . Certainly and as , so . However, is continuous at , and so . Since , we have that . This shows that , since , and thus for large enough . Then for all we obtain . Also, and hence . Therefore, , which is true for all . Again we note that , so by continuity of at we obtain . Hence . Combining this with our previous inequality we obtain as required.

Note that by defining a simple auxiliary function, this is easily generalized:

**Corollary**. Let be a continuous function with and . Then there exists such that .

Something to think about: how can we define a continuous function on a closed subset of an ordered field which does not possess the least-upper-bound property (for example ) such that the conclusion of the Intermediate Value Theorem fails to hold?

Before attacking the likes of the Extreme Value Theorem, we have to prove that the image of any function on a closed interval is bounded.

**Boundedness theorem**. Let be a continuous function. Then is a bounded function on , that is, there exists such that for all .

**Proof**. We will show is bounded above. Assume this is not the case. Then for every natural we obtain some such that . Since the sequence is bounded (as a subset of a closed interval), the Bolzano-Weierstrass theorem allows us to select a subsequence converging to some . However, is continuous and so the sequence converges to . However by construction for all and hence the sequence , a contradiction. So is bounded above. By the same argument is bounded above, and hence is bounded both above and below, as stated.

**Extreme Value Theorem**. Let be continuous. Then attains its maximum and minimum value on . That is, there exist with for all .**
Proof**. From the boundedness theorem, the image set is bounded. It is also (trivially) nonempty, so by the completeness axiom it has a supremum and infimum, denote these and respectively. Since is the supremum, we can proceed as follows. For each natural there is some such that , for otherwise would not be the supremum. Now, we have a sequence , with converging to . Invoke the Bolzano-Weierstrass theorem, which gives a subsequence converging to some (the limit lies within the interval, because is a

*closed*interval). But now we note converges to by the continuity of , however as a subsequence, we see that must also be converging to . Hence by the uniqueness of the limit, . This demonstrates the existence of a point where

*attains*its maximum value. The proof concerning is done similarly.

**. A theorem from elementary topology tells us that the continuous image of a compact set is again compact. This makes our life a lot easier, because if the image set is compact, it is (by the Heine-Borel theorem) closed and bounded. Every compact subset of**

Alternate proof

Alternate proof

*contains*its supremum and infimum, so the proof is complete.

To be continued…