https://9dok.net/document/q7wk1e2v-datenstrukturen-algorithmen-vorlesung-rekursionsgleichungen-k-joost-pieter-katoen.html