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

[Kalman Noel]

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