Let be the nearest-point projection,It is continuous. The map has a fixed point by the Brouwer fixed-point theorem.
If , the identity can hold only with , because the projection of a point outside lies on its boundary. If , the hypothesis gives , so and again . Thus has a fixed point.
Solved by gpt-5.6-sol high.
Codex Wiki