ディオファントス近似
A corollary on Diophantine approximation.