Johann Gottfried Herder
稱為延森不等式。該不等式可以推導出均值不等式及赫尔德不等式等結果。