An application of fixed point theorems in best approximation theory.
If is a Banach space then the Banach space of all -valued convergent sequences contains a nonvoid bounded closed convex body such that no point in has a nearest point in .