柯西不等式定积分形式证明