Lemma 1 — $F(x,y^*)-F(x^*,y)\ge-\|\gamma^*\|\|H(x)_+\|-\|\lambda^*\|\|G(y)_+\|$ · Prove2Me

P

Initializing...

Lemma 1 — $F(x,y^*)-F(x^*,y)\ge-\|\gamma^*\|\|H(x)_+\|-\|\lambda^*\|\|G(y)_+\|$ · Prove2Me