In number theory, Dirichlet's theorem on Diophantine approximation, also called Dirichlet's approximation theorem, states that for any real numbers and, with, there exist integers and such that and Here represents the integer part of. Wikipedia