Dirichlet's approximation theorem

Dirichlet's approximation theorem is a result in number theory that provides a way to find rational approximations to real numbers.