Existence of Best Approximation in Finite-Dimensional Subspaces