Assertion: sequence's limit | /r/CapableOf | use hyperreal numbers
Facets:
Source sentences:
text: The definition of the limit using the hyperreal numbers formalizes the intuition that for a "very large" value of the index, the corresponding term is "very close" to the limit.