Soit $X$ un bon espace $k$-analytique topologiquement séparé et de dimension $n$. Soit $\omega$ une $(n,n)$-forme intégrable sur $X$ (resp. une $(n-1,n)$-forme intégrable sur $\partial X$). Pour toute fonction lisse $u$ sur $X$, on a

$$\left|{\int_{X}u\omega}\right|\leq\mathopen{\|}{u}\mathclose{\|}_{K}\int_{X}\mathopen{|}{\omega}\mathclose{|},\quad\text{\emph{resp.} }\left|{\int_{\partial X}f\omega}\right|\leq\mathopen{\|}{u}\mathclose{\|}_{K\cap\partial X}\int_{\partial X}\mathopen{|}{\omega}\mathclose{|}.$$

(On note $\mathopen{\|}{u}\mathclose{\|}_{C}$ désigne la borne supérieure de $\mathopen{|}{u}\mathclose{|}$ sur une partie $C$ de $X$.)