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