Die Ableitung des natürlichen Logarithmus ist 1 / x {\displaystyle {}1/x} , das ist auf dem Definitionsbereich R + {\displaystyle {}\mathbb {R} _{+}} des Logarithmus eine fallende Funktion, also ist nach Fakt der Logarithmus