Diophantine approximation
である。したがって、ディオファントス近似は無理数を有理数で近似する、より良い近似方法の存在を示しているとも言える。