積分不等式の場合、コーシーシュワルツじゃなくてシュワルツだろ。