favard积分不等式证明