柯西不等式是怎么的?