- 柯西不等式[星際]