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