To prove boundedness on , suppose instead that is unbounded and choose with . The Bolzano-Weierstrass theorem gives a subsequence converging to . Continuity then gives , contradicting . Hence is bounded.
Let and . Choose with . Another application of Bolzano-Weierstrass theorem yields a subsequence tending to , and continuity gives . Applying the same argument to gives with . Thus
This proves the extreme value theorem here, including both attainment assertions.
For , its two limits supply such that whenever . On , continuity and the result just proved give a finite bound . Consequently on the whole real line.
For the final value assertion, if , take . Otherwise . The positive-infinity limit gives a point with , so . The intermediate value theorem on now gives with
Positivity of is essential to this tail argument; a function can tend to zero without ever attaining zero.

Articles by others on the same topic (0)

There are currently no matching articles.