柯西不等式[星际]