Assertion: real number's bound | /r/HasProperty | $ m\le n
Facets:
Source sentences:
text: That is, if $ N $ is any real number that is also an upper bound for $ S $ , then $ M\le N $ .