```Date: Dec 12, 2009 12:23 PM
Author: Jesse F. Hughes
Subject: Re: Another AC anomaly?

"K_h" <KHolmes@SX729.com> writes:> The only way lim(n ->oo){n}={} is if limsup and liminf both > equal {}.  If limsup and liminf are different then the limit > does not exist and cannot equal an existing set like {}. > Since the empty set exists, and since you are claiming that > lim(n ->oo){n}={}, you need to show that limsup and liminf > are both {} by the definition you are using.Yes, he needs to show that, but it is utterly trivial and obvious fromthe definition of limsup and liminf given here.  I'm not sure why youthink it's not obvious, but here's the proof. Now, let X_n = {n}.  Thus, n is in X_k <-> n = k. n in lim sup X_k iff n is in infinitely many X_k, but we see from the above that n is in only one X_k.  Thus, lim sup X_k = {}. n in lim inf X_k iff there are only finitely many X_k such that n not in X_k, but again, we see that this is false for every n.  Hence  lim inf X_k = {}.-- Jesse F. Hughes "It is a clear sign that something is very, very, very wrong, as humanbeings are, well human.  Maybe some people think that mathematiciansare not, but I disagree.  They are human beings." -- James S. Harris
```