Let $(x_n)$ be a bounded sequence of real numbers. Define a new sequence $(y_n)$ where $(y_n):=\inf\,(x_k:n\leq\,k)$.
Define $y:= \sup(y_n:n\in\mathbb{N})$.
How to Prove that there exists a subsequence $(x_{n_k})$ of $(x_n)$ such that $\lim(x_{n_k})=y$?
What method should I need to use in this question? I have used contradiction to prove this question but it seems not work.
Could anyone give me some hints to finish the proof or help me to prove this question? Thank you.