积分不等式的证明及应用