Assertion: sequence's term | /r/HasProperty | the largest distance
Facets:
Source sentences:
text: is bounded (since for some , all terms of the sequence from the -th onwards are within distance 1 of each other, and if is the largest distance between and any terms up to the -th, then no term of the sequence has distance greater than from ).