依存がなくなっている)。定義より、これはに等しく、と変形できる。仮定しているので、三角不等式よりと評価できる。関する平均は消すことが出来るので、を示せばよい。存在してが成り立つので、Minkowskiの不等式よりを得る。4の補題と2よりが成り立つ。以上で証明が完了する。Q.E.D.命題の証明を任意にとる。略記すればと計算できる。合わせて所望の不等式が得られる。依存することから所望の漸近公式が得られる。依存して十分大きければと評価でき、これはを示している。