半径rを有理数にとってスキャンすれば有理数の稠密性から何次元でもおk