ormula_38 后，将两边的黎曼和中的 formula_2 趋于无穷大后得到的形式。
算数-几何-调和平均值不等式.若再规定formula_1的调和平均数 formula_41则有formula_42且等号依旧成立当且仅当formula_7 。证明由算数-几何平均值不等式知formula_44故formula_45即formula_46且等号成立于formula_47即formula_48