ResPubID7698, Boas-Bellman, inner product spaces, Bessel's inequality