If a function is continuous on a closed interval , then has both a maximum and a minimum on . If has an extremum on an open interval , then the extremum occurs at a critical point. This theorem is sometimes also called the Weierstrass extreme value theorem.
The standard proof of the first proceeds by noting that is the continuous image of a compact set on the interval , so it must itself be compact. Since is compact, it follows that the image must also be compact.