Dirichlet's approximation theorem states that, given any real number and any positive integer
,
there exist integers
and
with
such that
A slightly weaker form of the theorem states that for every real , there exist integers
and
with
and
such that