というか、なぜシュワルツの不等式？見た感じ(積分の絶対値)≦(絶対値の積分)を指してるように思えるけど
ただ-|f|≦f≦|f|に積分の単調性を適用しただけのものだし、意味としてはシュワルツというより三角不等式じゃないの？