Assertion: real number | /r/ObjectUse | used as a bound
Facets:
value: lower
type: DEGREE
Source sentences:
text: There is, however, exactly one infimum of the positive real numbers: 0, which is smaller than all the positive real numbers and greater than any other real number which could be used as a lower bound.