Assertion: sequence's limit | /r/DefinedAs | the formula
Facets:
Source sentences:
text: Thus, the limit can be defined by the formula