Von Neumann's trace inequality for Hermitian matrices: $\operatorname{Re}\operatorname{tr}(AB) \le \sum_i a_i b_i$

Initializing...

Von Neumann's trace inequality for Hermitian matrices: $\operatorname{Re}\operatorname{tr}(AB) \le \sum_i a_i b_i$ · Prove2Me