(22), proof of Lemma 4, p. 14 — ρ_r(z) ≥ ‖v‖ with v = ((−c + A⊤y)⁺, b − Ax)

Initializing...

(22), proof of Lemma 4, p. 14 — ρ_r(z) ≥ ‖v‖ with v = ((−c + A⊤y)⁺, b − Ax) · Prove2Me