向量范数的柯西不等式

参考：https://zhuanlan.zhihu.com/p/85283405