IMC 2007 · Problem 3

Day 214th IMC · Blagoevgrad, Bulgaria

Statement

Let CC be a nonempty closed bounded subset of the real line and f:C→Cf : C \to C be a nondecreasing continuous function. Show that there exists a point p∈Cp \in C such that f(p)=pf(p) = p.

(A set is closed if its complement is a union of open intervals. A function gg is nondecreasing if g(x)≤g(y)g(x) \le g(y) for all x≤yx \le y.)

Official solution

Hidden so you can work on the problem first.