Assertion: sequence's limit | /r/HasProperty | real number
Facets:
Source sentences:
text: A sequence with a limit that is a real number.