Showing that $\lim\sup s_n = \lim\inf s_n =s$

Question

I have the following problem:

Let $s$ be a real number and $(s_n)$ be a sequence of real numbers. Suppose that for any subsequence $(s_{n_{k}})$ of $(s_n)$, $(s_{n_{k}})$ has a subsequence $(s_{n_{k_{l}}}$) satisfying $$ \lim_{l \to \infty} s_{n_{k_{l}}}=s. \qquad (1)$$ Please show that $\lim\sup s_n = \lim \inf s_n = s$

I don't know if my proof is right. I have the following:

Let $S$ be the set of subsequential limits of $(s_n)$. Then, $S$ contains $s$ since it is the limit of some subsequence of $(s_n)$, namely $(s_{n_{k_{l}}})$, which is a subsequence of $(s_n)$. Now, I claim $S$ only contains $s$. Suppose, as a contradiction, that $S$ contains some other element $t$. That implies, that there exists a subsequence $(s_{n_{t}})$ with limit $t$. This implies that any subsequence of $(s_{n_{t}})$, namely $(s_{n_{t_{p}}})$ converges to $t$. But, that is a contradiction to the supposition that any subsequence of $(s_n)$ has a subsequence that converges to $s$. Hence, $S$ has only the element $s$. Therefore, $\lim\sup s_n=\sup S =s $ and $\lim\inf s_n=\inf S=s$, so $\lim\sup s_n = \lim \inf s_n = s$.

Would this be a complete valid proof?

Answer 1

Your idea is correct. But at the beginning of contradiction you should assume $t\neq s$. Then you should stated that that by assumption there exist $(s_{n_{t_{p}}}) \rightarrow s$ and therefore $s=t$ and this is the contradiction.

But maybe I am just too picky, good job!

Answer 2

Here is another way.

First show that $s_n \to s$:

Let $\epsilon>0$, and let $A = \{ n | |s_n-s| \ge \epsilon \}$. Then $A$ must be finite, otherwise we could find a subsequence satisfying $|s_{n_k}-s| \ge \epsilon$ for all $k$, which would contradict (1) immediately. Hence we see that $s_n \to s$.

Then show that if $s_n \to s$ that $\liminf_n s_n = \limsup_n s_n = s$:

Let $\epsilon>0$ and choose $N$ such that for $n \ge N$ we have $|s_n-s| < \epsilon$. In particular, we have $s-\epsilon < s_n < s+ \epsilon$ for $n \ge N$. Hence we have $s-\epsilon \le \inf_{n \ge N} s_n \le \sup_{n \ge N} s_n \le s+ \epsilon$ and hence $s-\epsilon \le \liminf_n s_n \le \limsup_n s_n \le s+ \epsilon$. Since $\epsilon>0$ is arbitrary, we have the desired result.