Assertion: cauchy sequence | /r/HasProperty | constant
Facets:
value: beyond some fixed point
type: OTHER
Source sentences:
text: Any Cauchy sequence of elements of X must be constant beyond some fixed point, and converges to the eventually repeating term.