利用变上限积分函数证明积分不等式