Existence of Best Approximation from a Finite-Dimensional Subspace