Inequalities for sums and products of operators

Let Ai, i = 1, … , 4, be compact operators on a complex separable Hilbert space. We show that2sjA1A2∗+A3A4∗1/2⩽sjA1A2A3A4for j = 1, 2, … . From this we derive norm inequalities, and investigate conditions for equality.