# Thread: sequence - limit superior

1. ## sequence - limit superior

I need to prove the following:
Let Sn be a sequence in R. If s in R and for every e > 0, there exists n' in N s.t. Sn < s + e for all n >= n', prove that Lim superior Sn <= s

Here is how I am approaching it:

first, Sn - s < e -> s is the limit of Sn as n-> infinity.

I also know that Lim Superior Sn = inf (sup[Sn:n>=k])

So, maybe I could use both to say that Lim Sup (Sn) is either s or less than s

What do you think?

2. Originally Posted by inthequestofproofs
I need to prove the following:
Let Sn be a sequence in R. If s in R and for every e > 0, there exists n' in N s.t. Sn < s + e for all n >= n', prove that Lim superior Sn <= s

Here is how I am approaching it:

first, Sn - s < e -> s is the limit of Sn as n-> infinity.

I also know that Lim Superior Sn = inf (sup[Sn:n>=k])

So, maybe I could use both to say that Lim Sup (Sn) is either s or less than s

What do you think?
Let $\displaystyle S$ be the set of all subsequential limits of $\displaystyle \{S_n\}$ then $\displaystyle \sup\text{ }S=\limsup\text{ }S_n$ try working with that.