>>391 >>392
連分数とディオファントス近似があるじゃん!