Diophantine approximation