Assertion: real number's bound | /r/HasProperty | equal
Facets:
value: to one
type: OTHER
Source sentences:
text: The argument here does not need to assume completeness to be valid, because it shows that this particular sequence of rational numbers in fact has a least upper bound, and that this least upper bound is equal to one.