ResPubID22837, ResPubID23635, selfadjoint operators, functions of selfadjoint operators, spectral representation,
inequalities for selfadjoint operators