Assertion: natural logarithm | /r/HasProperty | defined for positive real number
Facets:
value: as the area under the curve
type: OTHER
Source sentences:
text: The natural logarithm can be defined for any positive real number a as the area under the curve y = 1/x from 1 to a (the area being taken as negative when a < 1).