A constant-memory algorithm for detecting the eventual cycle in asequence generated by repeated functionevaluation. It holds a checkpoint fixed while asecond pointer advances, doubling the checkpoint interval when exhausted; asecond pass locates the start of the cycle.