ディオファントス近似
Dirichlet's theorem on Diophantine approximation