[Haskell-cafe] Re: Re: 0/0 > 1 == False

[Kalman Noel]

Ben Franksen wrote:
> Kalman Noel wrote:
> >     (2) lim a_n  = ∞
[...]
> >     (2) means that the sequence does not converge, because you can
> >         always find a value that is /larger/ than what you hoped might
> >         be the limit.
>
> (2) usually rather mean that for each positive limit A there is a number N
> such that a_N > A for /all/ n > N.

You're right here. I tried to come up with a more wordy, informal description,
but failed on that.

> Your definition of (2) is usually termed as '(a_n) contains a subsequence
> that tends toward +infinity'.

May you elaborate? I don't see where a subsequence comes into play here.

Kalman

----------------------------------------------------------------------
Get a free email account with anti spam protection.
http://www.bluebottle.com/tag/2