An Archimedean valuation is a valuation on a field
for which there is an
with
and
. Equivalently, the strong triangle inequality
does not hold for all . The usual absolute
value on the real numbers is Archimedean, as can
be seen by taking
.