P
Initializing...
Theorem 7, p. 11 — quadratic functional growth (22) with κ_f implies the global error bound (31) with κ_f/(1 + μ_f + √(1 + μ_f)) · Prove2Me