Diophantine approximation
ディリクレのディオファントス近似定理は次のような定理である。