Diophantine approximation is the quantitative study of rational number approximations to real numbers.