>>968
無理数で切るっていうか、x^2 < 2を満たすかどうかで分ける、って感じ