Let X be a linear normed space. I need to prove that X is finite dimensional normed space if and only if for every non empty closed set C contained in X and for every x in X the distance d(x,C) is achieved in specific c. I know how to prove the direction which assumes X is finite dimensional (use Riesz lemma) but I dont know what to do in the other direction. thanks