4.3.1 柯西不等式