# Characterisation of Cauchy Sequence in Non-Archimedean Norm/Corollary 1

## Theorem

Let $\norm {\,\cdot\,}_p$ be the $p$-adic norm on the rationals $\Q$ for some prime $p$.

Let $\sequence {x_n}$ be a sequence of integers such that:

- $\forall n: x_{n+1} \equiv x_n \pmod {p^n}$

Then:

- $\sequence{x_n}$ is a Cauchy sequence in $\struct {\Q, \norm{\,\cdot\,}_p}$.

## Proof

By assumption:

- $\forall n \in \N: p^n \divides \paren{x_{n+1} - x_n}$

By the definition of the $p$-adic norm then:

- $\forall n \in \N: \norm{x_{n+1} - x_n}_p \le \dfrac 1 {p^n}$

By Sequence of Powers of Number less than One then:

- $\displaystyle \lim_{n \to \infty} \dfrac 1 {p^n} = 0$

By Squeeze Theorem for Sequences of Real Numbers then:

- $\displaystyle \lim_{n \to \infty} \norm{x_{n+1} - x_n}_p = 0$.

By Characterisation of Cauchy Sequence in Non-Archimedean Norm then:

- $\sequence{x_n}$ is a Cauchy sequence in $\struct {\Q, \norm{\,\cdot\,}_p}$.

$\blacksquare$