>>320
シュワルツの不等式もしくはコーシーの不等式でぐぐれ