Diophantine_approximation