この有理数列(''y''''n'')''n''&isin;Nは、:|y_i-y_j|であるので、コーシー列である.
''n''&isin;N