Johann Gottfried Herder
赫尔德不等式有许多证明，主要的想法是杨氏不等式。