>>372
半径について制限は無いかな
そういう意味で無数に円が描けるから、その無数にある円のうち、円周上に少なくともn個の格子点を持つものが存在するってことを示すんだと思う