15A45.
Let be a positive linear functional on the algebra of complex matrices and , be positive numbers such that . We prove that if for any pair , of positive semi-definite matrices the inequality