https://9dok.net/document/y6e4r0dn-induktionsanfang-trivialerweise-ist-f-streng-monoton-wachsend.html