https://9dok.net/document/yj75dp9p-proof-convergence-individual-based-model-trait-substitution-sequence.html