Dirichlet's approximation theorem (source code)

= Dirichlet's approximation theorem
{wiki=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.