The linked proof is in this post. It first assumed $$(1)\quad\quad |f(x_n)-f(y_n)|\geq \varepsilon_0\;\;\;\;n\in\mathbb{N}.$$ Then after finding convergent sub-subsequences, $\{x_{n_{k_j}}\}$ and $ \{y_{n_{k_j}}\}$, the proof then says it follows from (1) that $$(2) \quad\quad |f(x)-f(y)|\geq \varepsilon_0.$$
Questions:
- The (2), in the proof, seems to now claim $\forall x,y\in I$. Is this true?
- Additionally, how do the sub subsequences play a role in finishing the proof to find the contradiction? Was it used in showing that (2)? If this is the case, I don't know then.
Any help is appreciated as it is not obvious for me, thank you!