另一边可以用柯西-史瓦兹不等式证明。