Everywhere interval frequency under an irrational rotation
= Everywhere interval frequency under an irrational rotation
Every orbit of an <irrational rotation of the circle> visits a half-open interval $I$ with limiting frequency equal to its length. One proof sandwiches the orbit of an arbitrary point between inner and outer intervals along a nearby orbit for which the <Birkhoff ergodic theorem> holds.