Definition:Cauchy Criterion for Sequences