あと、 // //∞ がベクトルノルムであることを示すには
            どうすればいいですか?