Ordered field/Convergent sequences/Rules/2/Fact/Proof

Proof

Let ${}\epsilon >0$ be given. The convergent sequence ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ is bounded, due to fact, and therefore there exists a ${}D>0$ such that ${}\vert {x_{n}}\vert \leq D$ for all ${}n\in \mathbb {N}$. Set ${}x:=\lim _{n\rightarrow \infty }x_{n}$ and ${}y:=\lim _{n\rightarrow \infty }y_{n}$. We put ${}C:={\max {\left(D,\vert {y}\vert \right)}}$. Because of the convergence, there are natural numbers ${}N_{1}$ and ${}N_{2}$ such that

$\vert {x_{n}-x}\vert \leq {\frac {\epsilon }{2C}}{\text{ for }}n\geq N_{1}{\text{ and }}\vert {y_{n}-y}\vert \leq {\frac {\epsilon }{2C}}{\text{ for }}n\geq N_{2}.$

These estimates hold also for all ${}n\geq N:={\max {\left(N_{1},N_{2}\right)}}$. For these numbers, the estimates

${}{\begin{aligned}\vert {x_{n}y_{n}-xy}\vert &=\vert {x_{n}y_{n}-x_{n}y+x_{n}y-xy}\vert \\&\leq \vert {x_{n}y_{n}-x_{n}y}\vert +\vert {x_{n}y-xy}\vert \\&=\vert {x_{n}}\vert \vert {y_{n}-y}\vert +\vert {y}\vert \vert {x_{n}-x}\vert \\&\leq C{\frac {\epsilon }{2C}}+C{\frac {\epsilon }{2C}}\\&=\epsilon \end{aligned}}$

hold.

To fact