Hoi, I'm trying to prove something seemingly trivial...:PP

But i can't prove the following for Banach-spaces...i thought of many ways trying to solve this:

consider a line, say with ...and a point

I want to show that the maximal distance to , (not on the line) and a point on the line , is between , and one of

the boundary points of the line or . That is, consider and assume .

How can I show this (clearly continuous) function attains a maximum on . I cant prove this seemingly easy question.

I just don't see how this goes wrong when I assume that attains a maximum for any .

is compact, therefore must attain a maximum and a minimum somewhere....

But why must be this maximum??