[FOM] Can someone give me an example of...

[Andrej Bauer]

On Friday 17 February 2006 00:24, Giovanni Lagnese wrote:
> Andrej Bauer wrote:
> > it is non-Cauchy in a strong sense: for every epsilon > 0 and k
> > there is m such that |a_k - a_n| > epsilon for all n > m.
>
> It seems impossible that we can take epsilon > 1.

Oops, got my quantifiers all mixed up. That should have been: for every k 
there are epsilon > 0 and m such that |a_k - a_n| > epsilon for all n > m.

Andrej