Assertion: real number | /r/HasProperty | depend on the choice
Facets:
Source sentences:
text: Then there exists some real number t 0 (which may depend on the choice of q and r) such that exactly one of these three cases holds: For every real number t > t 0 , the real number q(t) is less than the real number r(t) .