積分形に拡張した形のコーシーシュワルツ不等式(x、y2次元)の
証明ができません。