P
Initializing...
Theorem 2.4, proof, p. 4 — strong conic duality: $1 = \min\{\langle w_0,z\rangle : z-\pi^*(c)\in K^*,\ z\in L_0^\perp\}$, attained · Prove2Me