>>710

あ、非有界だと簡単な反例がありますね。

有界という条件をつけることにします。