>>320
コーシーシュワルツの不等式