Lemma 10 (weighted off-by-one IQC), p. 16 — the quadratic inequality (3.20) for ∇f, f ∈ S(m, L), 0 ≤ ρ̄ ≤ ρ ≤ 1

Initializing...

Lemma 10 (weighted off-by-one IQC), p. 16 — the quadratic inequality (3.20) for ∇f, f ∈ S(m, L), 0 ≤ ρ̄ ≤ ρ ≤ 1 · Prove2Me