>>345 >>346
複素数まで広げちゃうと不等式にそぐわなくないかい?