柯西不等式[星際]`