>>270
そんなに詳しくないのですが、それZornの補題いりますか？
上限の（下限）存在は実数の性質から言えるかと...