Assertion: function's derivative | /r/HasProperty | given
Facets:
Source sentences:
text: The derivative of the natural logarithm as a real-valued function on the positive reals is given by