Diophantine approximation
In number theory, Dirichlet's theorem on Diophantine approximation, also called Dirichlet's approximation theorem, states that for any real numbers formula_1 and formula_2, with formula_3, there exist integers formula_4 and formula_5 such that formula_6 and