inequalities; Hilbert spaces; Cartesian decomposition