Let be continuous. If it were unbounded, one could choose with . The Bolzano-Weierstrass theorem gives a subsequence , but continuity would then give , contradicting unboundedness.
Now let . Choose with . A convergent subsequence and continuity give at its limit. Applying the same argument to shows that the infimum is attained. This proves the extreme value theorem on a closed bounded interval.
The functionis continuous and bounded, but attains neither its infimum nor its supremum . For the second example, enumerate the rationals in as and setEvery nondegenerate interval contains infinitely many rational numbers, hence some with arbitrarily large ; therefore is unbounded on every such interval.
For the running extrema, compactness lets us writeThe function is uniformly continuous on . Given , choose such that whenever . If and , every new value with is at most . Since ,Interchanging handles the other order. Applying this argument to proves continuity of as well.
Finally fix and put . For each positive integer , there must be some with . Otherwise, for some the continuous function would satisfy on the interval . By the intermediate value theorem, would have a constant sign there. The valueswould then increase or decrease by at least at every step, contradicting boundedness of . Thus and
Solved by gpt-5.6-sol high.
Codex Wiki