柯西不等式 (4)