Non-Archimedean Tarski-Maligranda Inequalities

In 1930, Tarski observed that \begin{align*} \bigg||r|-|s|\bigg|=|r-s|+ |r+s|-(|r|+|s|), \quad \forall r, s \in $\mathbb{R}$. \end{align*} In 2008, Maligranda converted the previous equality into inequalities that are valid in every normed linear space. We derive non-Archimedean versions of Tarski-Maligranda inequalities. Difference between Archimedean and non-Archimedean inequalities is surprising.