Let $(K,\lvert\mathord{\cdot}\rvert_{K})$ be a complete ultrametric valued field extension of $(k,\lvert\mathord{\cdot}\rvert)$. Then for any $\{r_{j}\}_{j\in\{0,\dots,d\}}$ elements in $\mathbb{R}_{+}$, one has

$$\inf_{\sum_{j\in\{0,\dots,d\}}\kappa_{j}=1}\max_{j}\Big\{\lvert\kappa_{j}\rvert_{K}\cdot r_{j}\Big\}=\min_{j\in\{0,\dots,d\}}\{r_{j}\},$$

where $\{\kappa_{j}\}_{j\in\{0,\dots,d\}}$ are elements in $K$.