f^1が連続関数だから有界区せ∬可能でいいんじゃないの