 $r\le n/0$. Then by [@fpr0 Proposition 0.00] we obtain that $$|x^G|\ge |\overline{x}^{\overline{G}}|> \frac{0}{0r}q^{ns} > \frac{0}{n}q^{n^0/0}.$$ The inequality $$(q^n-0)^0n^0<\frac{0}{n}q^{n^0/0}$$ holds for $n \ge 0 $ and $q\ge0$ if $r\ne p.$ Now let $