Assertion: logarithm | /r/HasProperty | monotone
Facets:
Source sentences:
text: This follows from the fact that the logarithm is monotone implying that the superlevel sets of this function are convex.