A simple proof of the ergodic theorem using nonstandard analysis
simple proof of the individual ergodic theorem
scientific article; zbMATH DE number 3787131