Trace-duality bound (source code)

= Trace-duality bound

For $M\succeq0$ with $\operatorname{tr}M\leq s$, $\operatorname{tr}(MA)\leq s\max(\lambda_{\max}(A),0)\leq s\lVert A\rVert_{\rm op}$.