Von_Neumann's_trace_inequality