necessary condition for Archimedean valuation To fix the terminology, a valuation of a field F will be a map from F to the real numbers such that, on writing $|x|$ for the image of $x$,
$|x|\geq 0$ for all $x$, $|x|=0$ iff $x=0$, $|xy|=|x||y|$ for all $x$,$y$ and $|x+y|\leq|x|+|y|$ for all $x,y$. This last inequality is called the triangle inequality. If it is replaced by the stronger inequality $|x+y|\leq max(|x|,|y|)$ for all $x,y$, which is called the ultrametric inequality, the valuation is called non-Archimedean. An Archimedean valuation is a valuation which is not non-Archimedean. 

In Ribenboim’s book The Theory of Classical Valuations, he gives an easy proof on page 11 that a valuation is non-Archimedean iff $|n.1|\leq 1$ for all natural numbers $n$ where $n.1$ is the sum of $n$ copies of the identity element $1$ of F. On page 473 of Artin and Whaples’  paper “Axiomatic Characterization of Fields By the Product Formula for Valuations” Bull AMS 51 (1945) pp. 469-492 , they say that $|1+1|&gt;1$ for every Archimedean valuation of F. 


  It follows from Ribenboim’s theorem that $|1+1|&gt;1$ is sufficient for a valuation to be Archimedean, but why is it necessary? 


I tried showing the contrapositive, that a valuation such that $|1+1|≤1$ must be non-Archimedean, and using the fact that a valuation is non-Archimedean iff the set $$S=\{|n.1| : n \text{ is a natural number}\}$$ is bounded (p. 118 of Algebraic  Number Theory by Jurgen Neukirch) but could only obtain bounds on particular $|n.1|$, not on the whole set $S$.
Assume that $|2\cdot1_F|\leq1$. Then for each $n\geq1$ and its binary expansion $n=\sum_{k=0}^{m}a_k2^k$, we have

$$|n\cdot1_F|
\leq\sum_{k=0}^{m} \left| a_k 2^k\cdot1_F \right|
\leq\sum_{k=0}^{m} \left| a_k\cdot1_F \right|
\leq m+1
\leq\lceil\log_2 n\rceil+1.$$

Now utilize the tensor power trick:

$$|n\cdot1_F|=|n^k\cdot1_F|^{1/k}\leq(1+\lceil k\log_2 n\rceil)^{1/k} \xrightarrow[k\to\infty]{} 1. $$

In view of Ribenboim's theorem, this is enough to guarantee that $|\cdot|$ is non-Archimedean.



In fact, Ribenboim's theorem can also be proved by the tensor power trick. Assume that $|n\cdot1_F|\leq1$ for all $n\in\mathbb{N}$. Then for each $x, y \in F$,

$$ |x+y| = |(x+y)^n|^{1/n}
\leq \left( \sum_{k=0}^{n} \left|\binom{n}{k}x^k y^{n-k}\right| \right)^{1/n}
\leq (n+1)^{1/n}\max\{|x|,|y|\}. $$

Letting $n\to\infty$ shows that the ultrametric inequality holds.
Theorem: A valuation on a field $F$ is non-Archimedean if and only if $|1_F+1_F|\leq1$.


Proof:
See Lemma 8.2 (p. 18) of "Ultrametric Calculus: An Introduction to p-adic Analysis" - [W.H. Schikhof] - 2006