Poincaré recurrence theorem

In measure-preserving dynamics on finite-measure space, almost every trajectory returns arbitrarily close to its initial state infinitely often.