Linear growth bound for integrable observables
ID: linear-growth-bound-for-integrable-observables
In a probability measure-preserving system, implies almost everywhere. For every , the tail integral formula for moments gives . Invariance and the Borel-Cantelli lemma finish the proof. Consequently division by also gives zero for every .
New to topics? Read the docs here!