Bessel inequality, Boas-Bellman inequality, Hilbert C*-module