実数で明らかそうなのはすっ飛ばす方法もある。
後で読むか、別の本で該当箇所読めばいい
p36の実数の性質から読めないかな。