Kronecker's approximation theorem states that if is a given irrational
number, then the sequence of numbers ,
where , is dense in the
unit interval. Explicitly, given any ,, and given any , there exists a positive
integer such that
Therefore, if , it follows that . The restriction on
can be removed as follows. Given any real , any irrational , and any ,
there exist integers and with such that