  We establish upper bounds for the distance to finite-dimensional subspaces in
inner product spaces and improve some generalisations of Bessel's inequality
obtained by Boas, Bellman and Bombieri. Refinements of the Hadamard inequality
for Gram determinants are also given.
