Subsequence of a sequence converging to its lim sup and lim inf $ Let (x_n)$  be a bounded real number sequence and $ (x_n )_{n≥k}  $be a subsequence of $x_n$  which only takes the values of the sequence starting from the k−th term. 
Let {$x_n $}  and {$x_n$ }$_{n≥k}$ denote a subset of R that contains all values of the corresponding sequences $(x_n )$  and $(x_n )_{n≥k}.$     
Define
            $α_k$= sup{$x_n$}$_{n≥k}$
               $\beta_k$= inf{$x_n$}$_{n≥k}$
              $x^∗$=lim sup⁡ $x_n$ = inf{$\alpha_k$}
 $x_*$=lim inf⁡ $x_n$ = sup{$\beta_k$}  
Using the above definitions, how do i prove that for every ( bounded? ) sequence  $(x_n)$ there is a subsequence that converges to lim sup $x_n$ and another subsequence that converges to lim inf $x_n$ ?
Also, what's the proof or reasoning of the fact that all subsequences of $(x_n)$ can only converge to values in the following interval [lim inf $x_n$ , lim sup $x_n$].     
After proving that, the important Bolzano-Weierstrass Theorem would follow imediately.      
I couldn't find any math resources which uses the lim inf, lim sup treatise ( not touching on topology ) and develops the proofs of many important theorems ( such as Squeeze theorem, Bolzano-Weierstrass, Limits and unequalities Theorem ) as corollaries of that .
Any recommendation ( a book, article, page, video, etc ) would be really helpful as well.
Thanks a lot in advance.  

Hint: Can you show the following? For every $\epsilon > 0$, there are infinitely many $x_n$ satisfying $x_n > x^* - \epsilon$ but only finitely many such that $x_n > x^* + \epsilon$.
