LetXbe a linear normed space. I need to prove thatXis finite dimensional normed space if and only if for every non empty closed setCcontained inXand for everyxinXthe distanced(x,C) is achieved in specificc. I know how to prove the direction which assumesXis finite dimensional (use Riesz lemma) but I dont know what to do in the other direction. thanks