cauchy sequence is bounded proof