P
Initializing...
Lemma 19 — $f(x)-f(x^*)\ge-\|\gamma^*\|\,\|g(x)_+\|$ at a Lagrangian saddle point · Prove2Me