どうやら実数は完備じゃなかったらしい