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.