柯西不等式
1