← Skill tree MathScape MATH161

The Extreme Value Theorem

Reference: Stewart §3.1  •  Chapter: 3  •  Section: 1

Navigation: Wiki Home > Skills > The Extreme Value Theorem

When Are Extreme Values Guaranteed to Exist?

We've seen that some functions have absolute maximum and minimum values, while others don't. The function $f(x) = x^2$ on all of $\mathbb{R}$ has a minimum but no maximum. The function $f(x) = x^3$ has neither. So when can we be certain that extreme values exist?

The Extreme Value Theorem gives us the answer: continuity + closed interval = guaranteed extrema. This theorem is the foundation of all optimization problems in calculus. Without it, we couldn't be sure that the "optimal" value we're seeking even exists.

Prerequisite Map

This skillThe Extreme Value Theorem

Quick Reference

Property Value
Section Stewart §3.1
Course MATH161
Difficulty Beginner
Time ~15 minutes

Key Concepts

The Extreme Value Theorem (EVT)

$$\boxed{\text{If } f \text{ is continuous on } [a,b], \text{ then } f \text{ attains an absolute maximum and an absolute minimum.}}$$

More precisely: If $f$ is continuous on a closed interval $[a, b]$, then there exist numbers $c$ and $d$ in $[a, b]$ such that:

Why Both Hypotheses Are Necessary

The theorem has two conditions: continuity and closed interval. Remove either one, and the conclusion can fail.

BOTH CONDITIONS NEEDED:

    Continuous + Closed     →   Extrema guaranteed ✓
    Continuous + Open       →   May fail ✗
    Discontinuous + Closed  →   May fail ✗

What Can Go Wrong

Condition Violated Example What Happens
Open interval $f(x) = x$ on $(0, 1)$ No max (approaches 1), no min (approaches 0)
Discontinuous $f(x) = \begin{cases} x & x < 1 \\ 0 & x = 1 \end{cases}$ on $[0, 1]$ No max (supremum 1 not attained)
Unbounded domain $f(x) = x^2$ on $[0, \infty)$ No max (goes to infinity)

Visual Understanding

Case 1: Continuous on $[a, b]$ (EVT applies)

    f(x)
     │    ★ max at interior
     │   /\
     │  /  \
     │ /    \____
     │/          \
     ●────────────●
     a            b
         ★ min at endpoint

Case 2: Open interval (EVT fails)

    f(x)
     │         ○ approaches but never reaches
     │        /
     │       /
     │      /
     │     /
     ○────         (no endpoints included)
     a     b

Case 3: Discontinuous (EVT fails)

    f(x)
     │    ○ hole (jump discontinuity)
     │   /
     │  /●
     │ /
     │/
     ●────────────●
     a            b

Important Clarifications

  1. The EVT guarantees existence, not location. It tells us extrema exist; it doesn't say where they are.
  1. Extrema can occur at endpoints or interior points. The theorem doesn't specify.
  1. Multiple extrema are possible. A function can attain its maximum (or minimum) at several points.
  1. The converse is false. A function can have absolute extrema without being continuous on a closed interval.

Practice Problems

Level 1 Identifying When EVT Applies

For each function and domain, determine whether the Extreme Value Theorem guarantees that absolute extrema exist.

  1. $f(x) = x^2 - 4x + 3$ on $[0, 5]$
  2. $g(x) = \tan x$ on $[0, \pi/2]$
  3. $h(x) = \sqrt{x}$ on $[1, 9]$
  4. $p(x) = \dfrac{1}{x}$ on $(0, 1]$
Thought Process

For each function, check two things:

  1. Is the interval closed? (includes both endpoints with square brackets)
  2. Is the function continuous on that interval?

Remember: $\tan x$ has vertical asymptotes at $x = \pi/2 + n\pi$.

Show Answer

(a) Yes. The polynomial $f(x) = x^2 - 4x + 3$ is continuous everywhere, and $[0, 5]$ is a closed interval. EVT applies.

(b) No. Although $[0, \pi/2]$ is written as closed, $\tan x$ has a vertical asymptote at $x = \pi/2$. The function is not continuous on this interval (it's undefined at the right endpoint). EVT does not apply.

(c) Yes. The function $h(x) = \sqrt{x}$ is continuous for $x \geq 0$, so it's continuous on $[1, 9]$. The interval is closed. EVT applies.

(d) No. The interval $(0, 1]$ is not closed (missing the left endpoint). Even though $1/x$ is continuous on $(0, 1]$, EVT does not apply.

Level 2 Explaining Why EVT Fails

The function $f(x) = \dfrac{1}{x-1}$ is defined on $[0, 3]$ except at $x = 1$.

  1. Why doesn't the Extreme Value Theorem apply to $f$ on $[0, 3]$?
  2. Does $f$ have an absolute maximum on $[0, 3] \setminus \{1\}$? Explain.
  3. Does $f$ have an absolute minimum on $[0, 3] \setminus \{1\}$? Explain.
Thought Process

The function $f(x) = 1/(x-1)$ has a vertical asymptote at $x = 1$:

  • As $x \to 1^-$: $f(x) \to -\infty$
  • As $x \to 1^+$: $f(x) \to +\infty$

The function is not continuous on $[0, 3]$ because it's not even defined at $x = 1$. Analyze the behavior on $[0, 1)$ and $(1, 3]$ separately.

Show Answer

(a) The EVT requires $f$ to be continuous on the closed interval $[0, 3]$. Since $f(x) = 1/(x-1)$ is undefined at $x = 1$, the function is not continuous on $[0, 3]$. The hypothesis fails, so the EVT does not apply.

(b) No absolute maximum exists. As $x \to 1^+$, we have $f(x) \to +\infty$. The function takes arbitrarily large positive values, so there is no largest value.

(c) No absolute minimum exists. As $x \to 1^-$, we have $f(x) \to -\infty$. The function takes arbitrarily large negative values (arbitrarily small), so there is no smallest value.

This example shows that violating continuity can cause both the maximum and minimum to fail to exist.

Level 3 EVT and Specific Function Analysis

Consider $f(x) = x^3 - 6x^2 + 9x + 2$ on $[0, 4]$.

  1. Explain why the EVT guarantees that $f$ has an absolute maximum and an absolute minimum on $[0, 4]$.
  2. Without finding the exact locations, what are the only possible candidates for where these extrema can occur?
  3. Evaluate $f$ at the endpoints. Based on this alone, can you determine the absolute max and min? Why or why not?
Thought Process

Part (a): Check that $f$ is a polynomial (hence continuous everywhere) and that $[0, 4]$ is closed.

Part (b): This is a preview of the Closed Interval Method. Absolute extrema on a closed interval can only occur at:

  • Critical numbers (where $f'(x) = 0$ or $f'(x)$ DNE)
  • Endpoints

Part (c): Endpoint values tell us something, but we can't ignore interior critical points.

Show Answer

(a) The function $f(x) = x^3 - 6x^2 + 9x + 2$ is a polynomial, so it is continuous everywhere, in particular on $[0, 4]$. Since $[0, 4]$ is a closed interval and $f$ is continuous on it, the Extreme Value Theorem guarantees that $f$ attains both an absolute maximum and an absolute minimum somewhere in $[0, 4]$.

(b) The absolute extrema can occur only at:

  1. Endpoints: $x = 0$ and $x = 4$
  2. Critical numbers: values of $x$ in $(0, 4)$ where $f'(x) = 0$ or $f'(x)$ does not exist

Since $f$ is a polynomial, $f'(x)$ exists everywhere, so we only need to find where $f'(x) = 0$.

(c) Endpoint values:

  • $f(0) = 0 - 0 + 0 + 2 = 2$
  • $f(4) = 64 - 96 + 36 + 2 = 6$

No, we cannot determine the absolute extrema from endpoints alone. The EVT tells us extrema exist, but they might occur at interior critical points. We need to find where $f'(x) = 0$ and compare those values to the endpoint values.

(Note: $f'(x) = 3x^2 - 12x + 9 = 3(x-1)(x-3)$, so critical numbers are $x = 1$ and $x = 3$. We'd need to evaluate $f(1)$ and $f(3)$ to complete the analysis.)

Level 4 Modifying Domains for EVT to Apply

For each function, the EVT does not apply on the given domain. Find the largest closed interval contained in the given domain on which EVT does apply, and state what the EVT guarantees on that interval.

  1. $f(x) = \ln x$ on $(0, e]$
  2. $g(x) = \dfrac{x}{x^2 - 4}$ on $[-3, 3]$
Thought Process

(a) The issue with $(0, e]$ is that it's not closed on the left. The function $\ln x$ is continuous on $(0, \infty)$, so we need to pick some positive number $a$ close to 0 and consider $[a, e]$.

But what's the largest such interval? We can take $a$ arbitrarily close to 0, but never include 0 (since $\ln 0$ is undefined). So there's no single "largest" closed interval; but for any $\epsilon > 0$, we can use $[\epsilon, e]$.

(b) The function $g(x) = x/(x^2 - 4)$ has vertical asymptotes where $x^2 - 4 = 0$, i.e., at $x = \pm 2$. The domain $[-3, 3]$ includes these points, so $g$ is not continuous on $[-3, 3]$.

Find the largest closed intervals avoiding $x = \pm 2$ within $[-3, 3]$.

Show Answer

(a) For any $\epsilon > 0$, the function $f(x) = \ln x$ is continuous on $[\epsilon, e]$, and EVT applies there.

There is no single largest closed interval contained in $(0, e]$ because any closed interval $[a, e]$ with $a > 0$ is contained in $(0, e]$, but we can always find a larger one by choosing smaller $a$.

However, for practical purposes, on any interval $[\epsilon, e]$ with $\epsilon > 0$:

  • EVT guarantees an absolute max: $f(e) = 1$ (since $\ln$ is increasing)
  • EVT guarantees an absolute min: $f(\epsilon) = \ln \epsilon$

(b) The function $g(x) = x/(x^2-4)$ has discontinuities at $x = -2$ and $x = 2$.

The largest closed intervals within $[-3, 3]$ on which $g$ is continuous are:

  • $[-3, -2)$: not closed on right
  • $(-2, 2)$: not closed
  • $(2, 3]$: not closed on left

So we must exclude the discontinuities. The three largest closed intervals are:

  1. $[-3, -2 - \epsilon]$ for small $\epsilon > 0$
  2. $[-2 + \epsilon, 2 - \epsilon]$ for small $\epsilon > 0$
  3. $[2 + \epsilon, 3]$ for small $\epsilon > 0$

On each such interval, EVT guarantees both an absolute maximum and an absolute minimum exist.

Level 5 Converse and Logical Implications
  1. The converse of the EVT would state: "If $f$ attains an absolute maximum and minimum on $[a, b]$, then $f$ is continuous on $[a, b]$." Give a counterexample showing this converse is false.
  2. Suppose $f$ is continuous on $(a, b)$ and $\lim_{x \to a^+} f(x) = \lim_{x \to b^-} f(x) = L$ for some finite $L$. Define $g(x) = \begin{cases} f(x) & \text{if } a < x < b \\ L & \text{if } x = a \text{ or } x = b \end{cases}$. Prove that $g$ has an absolute maximum and minimum on $[a, b]$.
  3. Give an example of a function that is continuous on a closed interval $[a, b]$ and attains its absolute maximum at infinitely many points.
Thought Process

(a) We need a discontinuous function on a closed interval that still has both an absolute max and min. A simple jump discontinuity can work if the jump doesn't create a "hole" at the extreme values.

(b) We need to show $g$ is continuous on $[a, b]$. Check:

  • $g$ is continuous on $(a, b)$ (same as $f$)
  • $\lim_{x \to a^+} g(x) = \lim_{x \to a^+} f(x) = L = g(a)$
  • $\lim_{x \to b^-} g(x) = \lim_{x \to b^-} f(x) = L = g(b)$

So $g$ is continuous on $[a, b]$, and EVT applies.

(c) Think of periodic functions or constant functions.

Show Answer

(a) Counterexample:

Define $f(x) = \begin{cases} 1 & \text{if } x = 0 \\ x & \text{if } 0 < x \leq 1 \end{cases}$ on $[0, 1]$.

  • $f$ has absolute maximum $f(1) = 1$ at $x = 1$ (and also at $x = 0$)
  • $f$ has absolute minimum approaching 0 as $x \to 0^+$...

Wait, that's not quite right. Try again.

Better counterexample:

Define $f(x) = \begin{cases} 0 & \text{if } x = 0 \\ 1 & \text{if } 0 < x < 1 \\ 2 & \text{if } x = 1 \end{cases}$ on $[0, 1]$.

  • Absolute minimum: $f(0) = 0$ at $x = 0$ ✓
  • Absolute maximum: $f(1) = 2$ at $x = 1$ ✓
  • But $f$ is discontinuous at both $x = 0$ and $x = 1$

This proves the converse is false: a function can have absolute extrema without being continuous.

(b) Proof:

We show that $g$ is continuous on $[a, b]$:

  1. On $(a, b)$: $g(x) = f(x)$, and $f$ is continuous on $(a, b)$ by hypothesis. So $g$ is continuous on $(a, b)$.
  1. At $x = a$:
  1. At $x = b$:

Therefore, $g$ is continuous on the closed interval $[a, b]$.

By the Extreme Value Theorem, $g$ attains an absolute maximum and an absolute minimum on $[a, b]$. $\square$

(c) Example:

$f(x) = \cos(2\pi x)$ on $[0, 2]$.

  • $f$ is continuous on $[0, 2]$ (cosine is continuous everywhere)
  • The absolute maximum value is 1
  • This maximum is attained at $x = 0, 1, 2$ (three points on this interval)

For infinitely many points: $f(x) = \cos(2\pi x)$ on $[0, 100]$ attains its maximum of 1 at $x = 0, 1, 2, \ldots, 100$ (101 points).

For truly infinitely many: $f(x) = 1$ (constant function) on $[0, 1]$ attains its maximum of 1 at every point in $[0, 1]$, uncountably many points.

Mastery Checklist

Mental Model

The Safety Net Analogy:

Think of a continuous function on a closed interval like a tightrope walker with a safety net:

If the net has no edges (open interval), you could fall off the end. If the rope has gaps (discontinuity), you could slip through a hole. Either way, you might never reach a definite highest or lowest point.


Connections

Looking back:

Looking ahead:


Previous Up Next
Absolute & Local Extrema Section Index Critical Numbers

Last updated: 2026-01-22