III.P14 — Defect Contractivity

For τ-admissible data, the defect functional is contractive: Δ(f, n+1) ≤ κ · Δ(f, n) for some κ < 1. Key estimate driving regularity. The contraction constant κ comes from the divergence of ∑1/p.