Solution (source code)

= Solution

If $|\cdot|$ is non-Archimedean, then $|n|=|1+\cdots+1|\leq1$. Conversely suppose $|n|\leq M$ for every integer $n$. The binomial theorem and the ordinary triangle inequality give
$$
|x+y|^N\leq (N+1)M\max(|x|,|y|)^N.
$$
Taking $N$th roots and letting $N\to\infty$ proves $|x+y|\leq\max(|x|,|y|)$. This is the <bounded-integer criterion for a non-Archimedean absolute value>.

In characteristic $p$, the image of $\mathbb Z$ is the finite prime field $\mathbb F_p$, so every absolute value is bounded on it. Thus every absolute value on $\mathbb F_p(t)$ is non-Archimedean.