Best approximation in inner product spaces