>>810
シュワルツの不等式を使って証明するってことは
シュワルツの不等式の証明自体は不要なんじゃないの?