### Contradiction Real Analysis is Performed.

Please see the attached file. We call an extended real number a cluster point of a sequence if a subsequence converges to this extended real number. Show that lim inf(a_n) is the smallest cluster point o (a_n and lim sup(a_n) is the largest cluster point of (a_n).