improved proof that a Cauchy sequence has a limit