Dirichlet's approximation theorem is one of the classical results in Diophantine approximation. Diophantine approximation concerns itself with the approximation of real numbers by rational numbers.