Ben Franksen wrote: > Kalman Noel wrote: > > Ben Franksen wrote: > >> Kalman Noel wrote: > >> > (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. > >> Your definition of (2) is usually termed as '(a_n) contains a subsequence > >> that tends toward +infinity'. > I'll show (2) <=> (2'), where > > (2'): (a_n) contains a subsequence that tends toward +infinity
Only now did I understand that your point was to explain why and how my definition (2) is incorrect. It's clear to me now. Kalman ---------------------------------------------------------------------- Finally - A spam blocker that actually works. http://www.bluebottle.com/tag/4 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe