Statement of the theorem
Thm: If f is continuous on a closed and bounded interval [a,b], then ∃ y∈[a,b] such that ∀ x∈[a,b],f(y)≥f(x).
Assumptions
As before, if the interval fails to be closed, then, for example, f(x)=x2 fails to attain a maximum on (0,1), for if you give me any y∈(0,1), then f(2y+1)>f(y).
To see the proofs, read on!