# Why why why (tiny limsup proof)

by quasar987
Tags: limsup, proof, tiny
 Sci Advisor HW Helper PF Gold P: 4,771 There's a "theorem" in my book that says if x is a cluster point of {x_n}, then lim inf(x_n)$\leq$x$\leq$lim sup(x_n). The way the author proves it is a little bit extravagant. Why not just say "Let A be the set of all cluster points. Then, lim inf(x_n)=inf(A)$\leq$x$\leq$sup(A)=lim sup(x_n)." ???