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