cauchy_seq