Lemma 3.6, p. 270, unconstrained (X = ℝⁿ) — f(x − ∇f(x)/β) − f(y) ≤ ∇f(x)⊤(x − y) − ‖∇f(x)‖²/(2β)

Initializing...

Lemma 3.6, p. 270, unconstrained (X = ℝⁿ) — f(x − ∇f(x)/β) − f(y) ≤ ∇f(x)⊤(x − y) − ‖∇f(x)‖²/(2β) · Prove2Me