Andrej Bauer wrote: > That should have been: for every k > there are epsilon > 0 and m > such that |a_k - a_n| > epsilon for all n > m. This can be true also for a Cauchy sequence. GL P.S. Now I'm posting from a "non-standard" seat, and I'll be unable to post in the next month