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