LetThe function is continuous, withThe intermediate value theorem gives such that , and hence . This proves the fixed-point property of a closed interval.
Now suppose . For any , choose with and . Applying the intermediate value theorem to on the interval with endpoints gives a point with . Thus is a surjective function.
Solved by gpt-5.6-sol high.
Codex Wiki