Heine-Borel implies Bolzano-Weierstrass theorem I have to show that Heine-Borel theorem (closed and bounded sets in $\mathbb{R}$ are compact) implies Bolzano-Weierestrass theorem (BWT: Every bounded infinite subset in $\mathbb{R}$ has a limit point in $\mathbb{R}$).
 I want to understand several things before I can solve the problem, it does not seem easy, but I want to explain it correctly. Here are my thoughts until now:


*

*Initially, I want to ask two things. The BWT implies existence of a limit point for all bounded, infinite subsets in $\mathbb{R}$, does it follow that $(0,1)$ has a limit point.

*In my proofs related to compactness problems I usually use the fact that if an infinite set has a limit point, we can always choose a convergent subsequence from points in this set. Is it true?
I feel that at least one of the above is wrong since this will make $(0,1)$ compact and it is not, not even complete.


At the end of the problem I should conclude that HB theorem is equivalent to completeness in $\mathbb{R}$. 
Can you help me answering the above-stated questions, any further help on the problem will be also appreciated.
 A: Here is a short proof of Bolzano Weierstrass theorem based on Heine Borel theorem. Let $A$ be an infinite set which is bounded so that $A\subset [a, b]$ for some real numbers $a, b$. Also assume on the contrary that no point of $[a, b]$ is a limit point of $A$. Thus for each $x \in [a, b]$ there is a neighborhood of $I_{x}$ of $x$ which does not contain any point of $A$ different from $x$. By Heine Borel a finite number of these neighborhoods cover $[a, b]$ and hence $[a, b]$ contains at most a finite number of points $x_{1}, x_{2}, \dots, x_{n}$ (based on chosen finite number of neighborhoods $I_{x_{k}}$) of $A$. This is the contradiction we needed and hence there is a limit point of $A$ in $[a, b]$.
I will leave it as an exercise for you to prove that BWT implies HBT. This part is bit indirect so I will give some hints. BWT can be used to prove the 
Nested Interval Principle: Let $\{I_{n}\}$ be a sequence of closed intervals such that $I_{n} \supseteq I_{n + 1}$ for all $n$. Then there is a point $c$ which lies in all the intervals $I_{n}$.
So first you need to prove this principle (NIP) via BWT and then this NIP can be used to prove Heine Borel Theorem.
Thus we can conclude that HBT and BWT are equivalent. In fact these are just different ways to express the completeness of real numbers.
