Hilbert space, spectral mapping, bounded linear operator, inequalities