5 可以变为 formula_16 .
积分形式的证明.我们考虑 formula_17 的 formula_18 次幂：formula_19（用三角形不等式展开 formula_20）formula_21（用赫尔德不等式）formula_22formula_23（利用 formula_24，因为formula_25）formula_26现在我们考虑这个不等式序列的首尾两项。首项除以尾项的最后一个因子，即得formula_27这正是我们所要的