finite-dimensional subspaces, distance, Bessel's inequality, Boas-Bellman's inequality, Bombieri's inequality, Hadamard's inequality, Gram's inequality