Diffusion processes via parabolic equations: an infinitesimal approach to Lindeberg’s limit theorem

Heinz Weisshaupt

The paper discusses hyperreals. We show that the infinitesimal fun n => 1/n is greater than 0.

theorem zero_lt_reciprocals : (Hyperreal.ofSeq fun (x : ℕ) => 0) < Hyperreal.ofSeq fun (n : ℕ) => 1 / ↑n