Johann Gottfried Herder
可以看出柯西不等式是赫尔德不等式在formula_239的时候的特例。