Divergence of the state and time cutoffs

References

• J. Bertoin, Lévy Processes, Cambridge University Press, 1996, Chapter IV.

theorem BGW.StableTrees.tendsto_errCutoff_top (f : Skorokhod.DLoc) : Filter.Tendsto (fun (n : ℕ) => errCutoff n f) Filter.atTop (nhds ⊤)

Càdlàg reflection is bounded on every compact interval, so its cutoffs diverge on every path.