Non-Archimedean Cauchy-Schwarz Angle-Length and Chebyshev Arithmetic Mean Inequalities

Let $\mathbb{K}$ be a non-Archimedean valued field. Let $n \in \mathbb{N}$. For every $(a_j)_{j=1}^n, (b_j)_{j=1}^n \in \mathbb{K}^n$, we show that \begin{align*} \left|\sum_{j=1}^{n}a_jb_j\right|^2\leq \max\left\{\left|\sum_{j=1}^n a_j^2\right|\left|\sum_{k=1}^nb^2_k\right|, \max_{1\leq j<k \leq n}|a_jb_k-a_kb_j|^2\right\}, \end{align*} \begin{align*} \left|\sum_{j=1}^n a_j^2\right|\left|\sum_{k=1}^nb^2_k\right|\leq \max\left\{\left|\sum_{j=1}^n a_jb_j\right|^2, \max_{1\leq j<k \leq n}|a_jb_k-a_kb_j|^2\right\}, \end{align*} \begin{align*} \left|AM(a_j)_{j=1}^n\right|\left|AM(b_j)_{j=1}^n\right|\leq \max\left\{ \left|AM(a_jb_j)_{j=1}^n\right|, \frac{1}{|n|^2}\max_{1\leq j < k \leq n}|a_j-a_k||b_j-b_k|\right\}, \end{align*} \begin{align*} \left|AM(a_jb_j)_{j=1}^n\right|\leq \max\left\{ \left|AM(a_j)_{j=1}^n\right|\left|AM(b_j)_{j=1}^n\right|, \frac{1}{|n|^2}\max_{1\leq j < k \leq n}|a_j-a_k||b_j-b_k|\right\}, \end{align*} where $AM$ denotes the arithmetic mean. First and second are non-Archimedean versions of Cauchy-Schwarz angle-length and third and fourth are Chebyshev arithmetic mean inequalities. Unlike in the Archimedean case, no conditions are required to derive non-Archimedean Chebyshev arithmetic mean inequalities.