I am trying to understand the proof behind the Cesaro mean converging. I am using https://math.stackexchange.com/a/2342856/633922 (hopefully it is also correct) as a guide because it seems very direct. I will comment on the steps I understand and where I need help.
The statement: If $(x_n)$ converges to $x$, the sum of averages $y_n=\dfrac{x_1+x_2+\cdots+x_n}{n}$ also converges to the same limit.
Proof:
Since $(x_n)$ converges, given an arbitrary $\epsilon >0$, there exists an $N_1\in\mathbb{N}$ such that whenever $n\geq N_1$ we have $|x_n-x|<\epsilon$. (Definition of convergent sequence)
Now, $$\begin{align*} \left|\frac{x_1+x_2+\cdots+x_n}{n}-x\right|=&\left|\frac{(x_1-x)+\cdots+(x_{N_1-1}-x)}{n}+\frac{(x_{N_1}-x)+\cdots+(x_{n}-x)}{n}\right|\\ \leq& \left|\frac{(x_1-x)+\cdots+(x_{N_1-1}-x)}{n}\right|+\left|\frac{(x_{N_1}-x)+\cdots+(x_{n}-x)}{n}\right|\text{ (Triangle inequality)} \end{align*} $$
Now we want to make a statement about the first $N_1-1$ terms, $\color{red}{why?}$ That is:
By the Archimedean principle we can find an $N_2$ such that whenever $n\geq N_2$ we have that
$$\left|\frac{x_1+x_2+\cdots+x_{N-1}}{n}\right|<\epsilon $$ (Thought: is it because $x_1,\dots,x_{N_1-1}$ is finite?)
Now we can choose an $N_3=\max\{N_1,N2\}$ such that for all $n\geq N_3$ we have (My thought: Is this because choosing the max of both will always guarantee the final inequality to always work?) $$ \left|\frac{x_1+x_2+\cdots+x_n}{n}-x\right|\leq \underbrace{\epsilon}_{N_1-1}+\underbrace{\color{red}{\frac{n-N_1}{n}}}_{\text{why and how?}}\epsilon< 2\epsilon $$
And this finishes the proof. I always assumed the ending statement has to be (something)$<\epsilon$ or is this saying that each sum of the right side of the triangle inequality is less than $\epsilon/2$. I would really appreciate the help on the areas I am thoroughly confused about.