Bolzano-Weierstrass Theorem Implies Bounded Increasing Sequence Converges Statement: Prove using the Bolzano-Weierstrass Theorem that any bounded increasing sequence in $\mathbb{R}$ converges. 
Attempt: Let $\{a_n \}$ be a bounded increasing sequence. From the Bolzano-Weierstrass Theorem, there exists a subsequence $\{a_{n_k} \}$ which converges to some limit $A$. Then, $|a_n-A|\le|a_n-a_{n_k}|+|a_{n_k}-A|$. Let $\epsilon>0$ be given. Notice, $|a_{n_k}-A|<\frac{\epsilon}{2}$ for all $k\ge k_0$, for some $k_0\in\mathbb{Z}^+$, as $\{a_{n_k}\}$ converges to $A$. Also, since all convergent sequences are Cauchy, $|a_{n_k*}-a_{n_k}|<\frac{\epsilon}{2}$ for $k\ge k^*\ge N$, where $N\in\mathbb{Z}^+$. Since $\{a_{n_k}\}$ is a subsequence, there must exist an $n$ such that ${n_k*}\le n\le {n_k}$. Note that since $\{a_{n_k}\}$ is increasing, for all $k,k*\ge N$, $|a_{n}-a_{n_k}|\le|a_{n_k*}-a_{n_k}|<\frac{\epsilon}{2}$. Thus, $|a_n-A|<\epsilon$ for all $n\ge\max(n_{k_0},n_{k*})$. Thus, $\{a_n\}$ converges, as desired.
I saw a similar question during my search, but the answer used a different proof structure; curious if this is a valid proof.
 A: The problem here is that Bolzano theorem is proved by the monotonic limit theorem which states that a bounded monotonic sequence is convergent.
A: @Salahaman_Fatima here's the idea: first we need to define real numbers (starting from rationals). One way to do this, that uses monotonicity as a basis is via Dedekind cuts.  Another, ultimately equivalent way, uses completion via Cauchy sequences.  Each method has its pros and cons with respect to the other, I will describe Cauchy (to get to BW without monotone). Consider the the set
\begin{equation}
\mathfrak R:=\{\boldsymbol x=(x_n)_{n\in\mathbb N}\in\mathbb Q^{\mathbb N}:\boldsymbol x\text{ is Cauchy in }\mathbb Q\}
\end{equation}
and declare two elements $\boldsymbol x$ and $\boldsymbol y$ of $\mathfrak R$ to be equivalent if and only if their difference is a vanishing sequence. The ensuing quotient set is declared to be $\mathbb R$ where the Cauchy criterion can be shown to be equivalent to convergence. Necessity results from necessity in $\mathbb Q$, sufficiency requires a bit more work. Consider a Cauchy sequence of real numbers $(\xi_n)_{n\in\mathbb N}$, this defines a double sequence of rational numbers $x_{n,k}$ where $\xi_n=[(x_{n,k})_{k\in\mathbb N}]$ where the square bracket indicates the equivalence class with respect to the equivalence described above. Using the fact that $\xi_n$ is Cauchy for $n\in\mathbb n$ we can build a sequence $y_n:=x_{n,\hat k(n)}$ of rational numbers that is Cauchy, i.e., in $\mathfrak R$, hence the equivalence class $\eta:=[(y_n)_{n\in\mathbb N}]$ is in $\mathbb R$ and $\xi_n\to\eta$ can be now proved and established the Cauchy Criterion. To prove BW you work by bisection: a bounded sequence $\xi_n$, $n\in\mathbb N$, is inside a bounded interval $[a_0,b_0]$, pick $c_0:=(b_0+a_0)/2$ and define $[a_1,b_1]:=[a_0,c_0]$ if the latter has infinitely many terms (with repetition) of the sequence or $[a_1,b_1]:=[c_0,b_0]$ in the other case (because the sequence is infinite one of the two must occur because strictly speaking a sequence is a function from $\mathbb N$ via which the counterimages of the two intervals must cover all of $\mathbb N$ so one is infinite). By induction, you can now show that repeating iteratively this procedure provides you with a Cauchy sequence in $\mathbb R$ and this must be convergent by CC.
