I am trying with no luck to prove:
Let (X,d) be a metric space and A a non-empty subset of X. For x,y in X, prove that
d(x,A) ≤ d(x,y) + d(y,A)d(x,A)=infz∈Ad(x,z). Now, say z0∈A and y∈X. Then d(x,z0)≤d(x,y)+d(y,z0). Taking infimum over all z∈A of the left hand side, we obtain...