cauchy sequence is bounded