Diophantine approximation
実数（特に無理数）を有理数により近似することはディオファントス近似として知られている。例えば円周率 formula_1 の有理数による近似値として、古代エジプトでは 256/81 = 3.16049... が、古代バビロニアでは 25/8 = 3.125 が知られていた。アルキメデスは