HOT
柯西不等式