https://9dok.net/document/z1dw7e1p-c-einf-uhrung-der-reellen-zahlen.html