Campanato iteration lemma
= Campanato iteration lemma
{c}
If a nondecreasing oscillation quantity satisfies
$$
\Phi(\rho)\leq A(\rho/R)^\gamma\Phi(R)+BR^\beta
$$
for $0<\rho\leq R$, with $\gamma>\beta$, then iteration gives $\Phi(\rho)\leq C(\rho/R)^\beta\Phi(R)+CB\rho^\beta$.