If is irrational and is any positive integer, there is a fraction with and for which .
Proof. Let be a positive integer. Then by the pigeonhole principle, among the points (where denotes the fractional part of ), there are at least two numbers such that . Then for some integer . The statement is proved if we put .