Lemma 7.8. Assuming that:

  • K a field

Then an absolute value |∙| is non-archimedean if and only if |n| is bounded for all n∈ℤ.