First of all, let us remark that
d(xr,Y)=infy∈Yd(xr,y)≤∣∣xr∣∣, as 0∈Y and d(0,xr)=∣∣xr∣∣. Therefore, the right-hand side of the inequality is automatically satisfied if ∣∣xr∣∣=1.
Secondly, let us remark the following facts :
- For a constant λ∈R and any x∈X we have d(λx,Y)=∣λ∣d(x,Y)
- For a vector y∈Y and any x∈X we have d(x−y,Y)=d(x,Y)
We know that x↦d(x,Y) is not a function that is constantly zero (as Y is closed). Therefore there exists x0 such that d(x0,Y)=a>0. By inf property for any ϵ>0, there exists yϵ∈Y such that a≤∣∣x0−yϵ∣∣≤a+ϵ. Now let us take the vector xϵ=∣∣x0−yϵ∣∣x0−yϵ, by using the properties 1 and 2 we have
1−a+ϵϵ≤d(xϵ,Y)≤1
Let us fix 0<r<1. Now by taking ϵ>0 small enough, taking into the account that a>0 (and so limϵ→0a+ϵϵ=0) , we have 1−a+ϵϵ>r and thus r<d(xε,Y)≤1 with ∣∣xϵ∣∣=1