ところで諸君、一般の内積空間でのシュワルツ不等式の証明、
あの有名な判別式のやつ以外で何か知ってる?

今ずいぶん ugly なやつを1つ思い付いたんだけど。