P

Initializing...

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