Fix and . On and , the reverse triangle inequality gives . Subtract the two Cauchy integral formula expressions and apply the estimation lemma, using circle length :Thus every fixed-order derivative converges uniformly on each smaller disc. The right-hand factor tends to zero by the assumed uniform convergence on . Keeping a positive gap from the integration contour is the essential feature of this Cauchy derivative convergence bound. If , the specified open disc is empty and the claim is vacuous.