柯西不等式[星際]