Here's the stuff we found when you searched for "a continuous function on a closed set is bounded and achieves its bounds"

If you Log in you could create a "a continuous function on a closed set is bounded and achieves its bounds" node. If you don't already have an account, you can register here.