ResPubID26123,  mathematical inequalities, continuous functions, bounded selfadjoint operators, complex Hilbert spaces