Von Neumann's trace inequality

Von Neumann's trace inequality