_P^k  g_1^m \prod_{s=1}^{q-2} h_s^{n_s}$. Equations,, combined with Lemmas \[lem:g1\] and \[lem:hs\] imply that $f \in L((2g(\cX)-2)P_\infty)$ if $$i(q^3+1)+j(q^3-q^2+q)+k(q^3+1)+m(q^4+q)+\sum_{s=1}^{q-2} n_s ((s+1)q-s)(q^3+1) \leq q^5-2q^3+q^2-2,$$ which is equivalent to $$\label{eq:inquality1}
i(q+1)+jq+k(q+1)+mq(q+1)+\sum_{s=1}^{q-2} n_s ((s+1)q-s)(q+1) \leq (q+1)(q^2-2).$$ On the other hand we have $$v_P(f)=iq^3+j+kq+m(q^2+1)+\sum_{s=1}^{q-2} n_s ((s+1)q^2).$$ Hence the claim follows from Lemma \[holom\].

\[obs:largestgapinG\] Inequality implies in particular that $i\leq q^2-2,j \leq q^2+q-3,k \leq q^2-2$, $m \leq q-1$ and $n_s \leq \lfloor (q+1)/(s+1)\rfloor$. This implies directly that the largest gap of $H(P)$ that is contained in $G$ is obtained by putting $i=q^2-2$ and all other remaining variables to $0$. In other words: the largest element in $G$ is $q^5-2q^3+1=2g(\cX)-q^2+1.$

\[obs:jsmall\] If $j\ge q$ and the tuple $(i,j,k,m,n_1,\dots,n_{q-2})$ satisfies inequality, then the tuple $(i,j-q,k+1,m,n_1,\dots,n_s)$ will also satisfy inequality.
_ P^k   g_1^m \prod_{s=1}^{q-2 } h_s^{n_s}$. Equations, , combined with Lemmas \[lem: g1\ ] and \[lem: hs\ ] imply that $ f \in L((2g(\cX)-2)P_\infty)$ if $ $ i(q^3 + 1)+j(q^3 - q^2+q)+k(q^3 + 1)+m(q^4+q)+\sum_{s=1}^{q-2 } n_s (( s+1)q - s)(q^3 + 1) \leq q^5 - 2q^3+q^2 - 2,$$ which is equivalent to $ $ \label{eq: inquality1 } 
 i(q+1)+jq+k(q+1)+mq(q+1)+\sum_{s=1}^{q-2 } n_s (( s+1)q - s)(q+1) \leq (q+1)(q^2 - 2).$$ On the other hand we get $ $ v_P(f)=iq^3+j+kq+m(q^2 + 1)+\sum_{s=1}^{q-2 } n_s (( s+1)q^2).$$ therefore the claim follows from Lemma \[holom\ ]. 

 \[obs: largestgapinG\ ] Inequality entail in finical that $ i\leq q^2 - 2,j \leq q^2+q-3,k \leq q^2 - 2 $, $ m \leq q-1 $ and $ n_s \leq \lfloor (q+1)/(s+1)\rfloor$. This implies directly that the big col of $ H(P)$ that is contained in $ G$ is obtained by putting $ i = q^2 - 2 $ and all other persist variables to $ 0$. In other actor's line: the largest element in $ G$ is $ q^5 - 2q^3 + 1=2g(\cX)-q^2 + 1.$ 

 \[obs: jsmall\ ] If $ j\ge q$ and the tuple $ (i, j, k, m, n_1,\dots, n_{q-2})$ satisfies inequality, then the tuple $ (i, j - q, k+1,m, n_1,\dots, n_s)$ will also meet inequality.
_P^k  g_1^m \prod_{s=1}^{q-2} h_s^{n_s}$. Equationr,, combined with Lemmas \[lem:g1\] znd \[lem:hr\] imply that $f \in L((2g(\cX)-2)P_\infty)$ id $$i(q^3+1)+j(w^3-q^2+q)+k(q^3+1)+m(q^4+q)+\sum_{s=1}^{q-2} n_s ((s+1)q-s)(q^3+1) \ueq q^5-2q^3+q^2-2,$$ wjich is wquitalent to $$\label{eq:inqualibv1}
i(q+1)+jq+i(e+1)+mq(q+1)+\vnm_{s=1}^{q-2} n_s ((s+1)q-s)(q+1) \lea (q+1)(q^2-2).$$ On tha other hand wa fare $$v_P(f)=iq^3+j+kq+m(q^2+1)+\sum_{s=1}^{q-2} n_s ((s+1)q^2).$$ Hence the cjaim fokllws from Lemma \[holpi\].

\[obs:margestgapinG\] Inequality implies ih partibular that $i\leq q^2-2,k \leq q^2+q-3,k \leq q^2-2$, $m \leq q-1$ anf $n_s \leq \lfloor (q+1)/(s+1)\rflolr$. This impoies eirectly thag the largtsc gap of $H(P)$ that is contained in $G$ is obtakned yy putting $u=q^2-2$ anf all other cemainpng variables to $0$. In mther wprds: the largext xlemwnt in $G$ is $q^5-2q^3+1=2g(\cX)-q^2+1.$

\[obs:osmall\] If $j\ge q$ and jhe tuple $(h,j,i,m,n_1,\dots,n_{q-2})$ satisfiws ineqoalitf, thdb tfe uupke $(i,j-q,k+1,m,j_1,\dovs,n_s)$ will amso satisfy inequality.
_P^k g_1^m \prod_{s=1}^{q-2} h_s^{n_s}$. Equations,, combined with and imply that \in L((2g(\cX)-2)P_\infty)$ if which equivalent to $$\label{eq:inquality1} n_s ((s+1)q-s)(q+1) \leq On the other hand we have n_s ((s+1)q^2).$$ Hence the claim follows from Lemma \[holom\]. \[obs:largestgapinG\] Inequality implies in that $i\leq q^2-2,j \leq q^2+q-3,k \leq q^2-2$, $m \leq q-1$ and $n_s \leq (q+1)/(s+1)\rfloor$. implies that largest gap of $H(P)$ that is contained in $G$ is obtained by putting $i=q^2-2$ and all remaining variables to $0$. In other words: the element in $G$ is \[obs:jsmall\] If $j\ge q$ and tuple satisfies inequality, the $(i,j-q,k+1,m,n_1,\dots,n_s)$ also satisfy inequality.
_P^k  g_1^m \prod_{s=1}^{q-2} h_s^{n_s}$. Equations,, coMbined with lemmaS \[leM:g1\] aNd \[Lem:hS\] impLy that $f \in L((2g(\cX)-2)P_\INfty)$ If $$i(q^3+1)+j(q^3-q^2+q)+k(q^3+1)+m(q^4+q)+\sum_{s=1}^{q-2} n_s ((s+1)q-S)(q^3+1) \leq Q^5-2q^3+Q^2-2,$$ WhicH Is EquivAlent to $$\LAbEL{Eq:iNqUaLitY1}
i(Q+1)+Jq+K(q+1)+mq(q+1)+\Sum_{S=1}^{q-2} n_s ((s+1)q-s)(Q+1) \leq (q+1)(q^2-2).$$ On thE otHeR hand we have $$v_p(F)=iQ^3+j+kq+m(q^2+1)+\sum_{s=1}^{Q-2} n_s ((S+1)q^2).$$ Hence the clAim FollowS fRom lEmma \[hOloM\].

\[obs:lArgestGApinG\] INequality ImPLies in PArticulAR ThAt $i\lEq q^2-2,j \leq q^2+q-3,k \leq q^2-2$, $m \leQ Q-1$ aND $n_s \leq \lfloor (q+1)/(s+1)\Rfloor$. thIS iMPLieS diRectly that ThE largESt gap of $h(p)$ tHAT Is cONtained in $G$ is oBtained by puTTinG $i=q^2-2$ and AlL otHEr remaIning VaRIabLes to $0$. In otheR worDs: the largEst eleMEnt in $G$ iS $Q^5-2q^3+1=2g(\cX)-q^2+1.$

\[oBs:jsmaLl\] IF $j\gE q$ anD ThE tUplE $(i,J,K,m,n_1,\DOtS,n_{q-2})$ SAtiSfies ineQuAlIty, thEn thE TUPLe $(i,j-Q,k+1,m,N_1,\dotS,n_s)$ wiLl also satisfy IneQualITy.
_P^k  g_1^m \prod_{s=1}^{q -2} h_s^{n _s}$.  Eq uat io ns,,  com bined with Lem m as \ [lem:g1\] and \[lem:hs \] im pl y  tha t  $ f \in  L((2g( \ cX ) - 2)P _\ in fty )$ if  $$i( q^3 +1)+j(q ^3-q^2+q)+ k(q ^3 +1)+m(q^4+q) + \s um_{s=1}^{ q-2 } n_s ((s+1) q-s )(q^3+ 1)  \l e q q^5 -2q ^3+q^ 2-2,$$ whichis equiva le n t to $ $ \label{ e q :i nqua lity1}
i(q+1)+jq+ k (q + 1)+mq(q+1)+\su m_{s=1 }^ { q- 2 }  n_ s ( (s+1)q-s)( q+ 1) \l e q (q+1) ( q^ 2 - 2 ).$ $  On the other  hand we ha v e $ $v_P(f )= iq^ 3 +j+kq+ m(q^2 +1 ) +\s um_{s=1}^{q -2}n_s ((s+1 )q^2). $ $ Hence the cla im fol low s f romL em ma  \[ ho l om\ ] .
\[ o bs: largestg ap in G\] I nequ a l i t y im pli es i n par ticular that$i\ leqq ^2- 2,j \ leq q ^2+q -3 ,k \l eq q^2 -2$,$m  \leq q-1$ and$n_s  \leq \lf loo r(q+ 1) /(s+1 ) \rfloo r$.  Th is impl ies dir e ctl yt h a tthe largest gap of  $ H ( P) $ that i s cont a in ed in $G$ i sobt aine d by pu ttin g  $ i=q^2-2$  and a l lot her rem ai ning v ar iab les  to $ 0 $. I n othe r words:  thel argest element in $G$ is $q^ 5 -2 q ^ 3+ 1 =2g( \cX )-q^2+1.$
\[ob s :jsm all\ ]  I f $ j \ge q $ and  t h et uple $(i,j,k,m,n_1, \d ots,n_ {q-2} )$ satisfiesinequality , t hen thetupl e  $ ( i,j-q,k+1,m,n_ 1,\do ts,n_s)$ w i ll alsosatis fy inequ ality.
_P^k _g_1^m \prod_{s=1}^{q-2}_h_s^{n_s}$. Equations,, combined with_Lemmas \[lem:g1\]_and_\[lem:hs\] imply_that_$f \in L((2g(\cX)-2)P_\infty)$_if $$i(q^3+1)+j(q^3-q^2+q)+k(q^3+1)+m(q^4+q)+\sum_{s=1}^{q-2} n_s_((s+1)q-s)(q^3+1) \leq q^5-2q^3+q^2-2,$$ which_is equivalent to_$$\label{eq:inquality1}
i(q+1)+jq+k(q+1)+mq(q+1)+\sum_{s=1}^{q-2}_n_s ((s+1)q-s)(q+1) \leq (q+1)(q^2-2).$$ On the other hand we have $$v_P(f)=iq^3+j+kq+m(q^2+1)+\sum_{s=1}^{q-2} n_s ((s+1)q^2).$$ Hence_the_claim follows_from_Lemma_\[holom\].

\[obs:largestgapinG\] Inequality implies in particular_that $i\leq q^2-2,j \leq q^2+q-3,k_\leq q^2-2$,_$m \leq q-1$ and $n_s \leq \lfloor (q+1)/(s+1)\rfloor$._This_implies directly that_the largest gap of $H(P)$ that is contained in_$G$ is obtained by putting $i=q^2-2$_and all other_remaining_variables_to $0$. In other_words: the largest element in $G$_is $q^5-2q^3+1=2g(\cX)-q^2+1.$

\[obs:jsmall\] If $j\ge q$ and_the tuple $(i,j,k,m,n_1,\dots,n_{q-2})$ satisfies inequality, then the_tuple $(i,j-q,k+1,m,n_1,\dots,n_s)$ will also satisfy inequality.