Searching for links to CauchySequence:
Cauchy
RationalNumber
RealNumber