Assertion: sequence's term | /r/CapableOf | exist an index m
Facets:
value: for any index n
type: OTHER
value: for distance d
type: OTHER
Source sentences:
text: However, with growing values of the index n, the terms a n become arbitrarily large, so for any index n and distance d, there exists an index m big enough such that a m