Continuous function/Closed bounded interval/Maximum is attained/Fact