Cauchy-Schwarz and Means Inequalities for Selfadjoint Operator

We determined that for bounded operators and on a Hilbert space there holds for all , and if and are additionally self-adjoint operators, then for all . We proved that if and are self-adjoint operators on where then . Similarly the inequality is known. We proved that for self-adjoint normal contractions operators and then hold, for all .