ResPubID19720. Bessel inequality, Boas–Bellman inequality, Hilbert C *-modules, C *-algebra, inequalities