We need to show that: For that we leverage the Cauchy-Schwarz inequality that states that for an inner product space H we have for all x, y ∈ H, where equality holds if, and only if, x is a scalar multiple of y.
the function f (Y, X) = tr(Y X) is such an inner product.