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

Kalman Noel kalman.noel at bluebottle.com
Sat Jan 19 05:46:10 EST 2008

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.


Get a free email account with anti spam protection.

More information about the Haskell-Cafe mailing list