Definition (Cauchy sequence). A sequence $(x_n)$ in $R$ is Cauchy if $\forall k,\exists N$ such that $\forall m,n\ge N$, $x_m-x_n\in I^k$.