延森不等式

　　（見積分不等式）。