对数均值不等式公式为Hn≤Gn≤An≤Qn，又称为平均值不等式、平均不等式，是数学中的一个重要公式，即调和平均数不超过几何平均数，几何平均数不超过算术平均数。另外均值不等式也可以看成是“对于若干个非负实数，它们的算术平均不小于几何平均”的推论，其证明方法有很多，包括数学归纳法（第一数学归纳法或反向归纳法）、拉格朗日乘数法、琴生不等式法、排序不等式法、柯西不等式法等。
