https://123dok.net/document/y6emr475-kingman-s-subadditive-ergodic-theorem.html