Assertion: real number's value | /r/HasProperty | irrelevant
Facets:
Source sentences:
text: Sometimes, it is useful to conclude that a sequence converges, even though the value to which it converges is unknown or irrelevant.