Lemma 4.1, pp. 298–299 — (∇Φ(Π^Φ_X(y)) − ∇Φ(y))⊤(Π^Φ_X(y) − x) ≤ 0 and D_Φ(x, Π^Φ_X(y)) + D_Φ(Π^Φ_X(y), y) ≤ D_Φ(x, y)

Initializing...

Lemma 4.1, pp. 298–299 — (∇Φ(Π^Φ_X(y)) − ∇Φ(y))⊤(Π^Φ_X(y) − x) ≤ 0 and D_Φ(x, Π^Φ_X(y)) + D_Φ(Π^Φ_X(y), y) ≤ D_Φ(x, y) · Prove2Me