Lemma 3.1 . [02B6]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Lemma 3.1.

For any integer $\mu\geq 1$ and any $k$ we have

\rho_{\mu k,X}(x)\geq(K_{0}^{2}k^{n})^{1-\mu}\rho_{k,X}(x)^{\mu},

where $K_{0}$ is the constant in the $C^{0}$ -bound of Proposition 2.1.