von_Neumann's_trace_inequality