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.