ResPubID10889, Hilbert spaces, inequalities,