Diophantine approximation
となるような整数 を求めることが挙げられる。ディリクレのディオファントス近似定理により、上式を満足する と は無数に存在する。不等式は