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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe