*{DHL}[54,2]$ of Theorem \[main-dhl\](i).

We also have a variant of Theorem \[maynard-thm\] which can accept inputs of the form $\operatorname*{MPZ}[\varpi,\delta]$:

\[maynard-trunc\] Let $k \geq 2$ and $m \geq 1$ be fixed integers. Let $0<\varpi<1/4$ and $0 <\delta < 1/2$ be such that $\operatorname*{MPZ}[\varpi,\delta]$ holds. For any $\alpha>0$, let $M_k^{[\alpha]}$ be defined as in, but where the supremum now ranges over all square-integrable functions $F$ supported in the *truncated* simplex $$\label{ttk}
 \{ (t_1,\dots,t_k) \in [0,\alpha]^k: t_1+\dots+t_k \leq 1 \}$$ and are not identically zero. If $$M_k^{[\frac{\delta}{1/4+\varpi}]} > \frac{m}{1/4+\varpi},$$ then $\operatorname*{DHL}[k,m+1]$ holds.

In Section \[asymptotics-sec\] we will establish the following variant of Theorem \[mlower\], which when combined with Theorem \[mpz-poly\], allows one to use Theorem \[maynard-trunc\] to establish parts (ii)-(vi) of Theorem \[main-dhl\] (and hence Theorem \[main\]):

\[mlower-var\]

-   There exist $\delta,\varpi>0$ with $600 \varpi + 180 \delta < 7$ and $M_{\num{35410}}^{[\frac{\delta}{1/4+\varpi}]} > \frac{2}{1/4+\varpi}$.

-   There exist $\delta,\varpi>0$ with $600 \varpi + 180 \delta < 7$ and $M_{\num{1649821}}^{[\frac{\delta}{1/4+\varpi}]} > \frac{3}{1/4+\varpi}$.

-   There exist $\delta,\varpi>0$ with $600 \varpi + 180 \delta < 7$ and $M_{\num{75845707}}^{[\frac{\delta}{1/4+\varpi}]} > \frac{4}{1/4+\varpi}$.

-   
* { DHL}[54,2]$ of Theorem \[main - dhl\](i). 

 We also have a variant of Theorem \[maynard - thm\ ] which can accept stimulation of the human body $ \operatorname*{MPZ}[\varpi,\delta]$: 

 \[maynard - trunc\ ] Let $ k \geq 2 $ and $ m \geq 1 $ be fixed integer. Let $ 0<\varpi<1/4 $ and $ 0 < \delta < 1/2 $ be such that $ \operatorname*{MPZ}[\varpi,\delta]$ holds. For any $ \alpha>0 $, let $ M_k^{[\alpha]}$ be specify as in, but where the supremum now ranges over all straight - integrable functions $ F$ supported in the * truncate * simplex $ $ \label{ttk } 
  \ { (t_1,\dots, t_k) \in [ 0,\alpha]^k: t_1+\dots+t_k \leq 1 \}$$ and are not identically zero. If $ $ M_k^{[\frac{\delta}{1/4+\varpi } ] } > \frac{m}{1/4+\varpi},$$ then $ \operatorname*{DHL}[k, m+1]$ holds. 

 In Section \[asymptotics - sec\ ] we will establish the follow variant of Theorem \[mlower\ ], which when combined with Theorem \[mpz - poly\ ], allows one to use Theorem \[maynard - trunc\ ] to establish part (ii)-(vi) of Theorem \[main - dhl\ ] (and hence Theorem \[main\ ] ): 

 \[mlower - var\ ] 

 -    There exist $ \delta,\varpi>0 $ with $ 600 \varpi + 180 \delta < 7 $ and $ M_{\num{35410}}^{[\frac{\delta}{1/4+\varpi } ] } > \frac{2}{1/4+\varpi}$. 

 -    There exist $ \delta,\varpi>0 $ with $ 600 \varpi + 180 \delta < 7 $ and $ M_{\num{1649821}}^{[\frac{\delta}{1/4+\varpi } ] } > \frac{3}{1/4+\varpi}$. 

 -    There exist $ \delta,\varpi>0 $ with $ 600 \varpi + 180 \delta < 7 $ and $ M_{\num{75845707}}^{[\frac{\delta}{1/4+\varpi } ] } > \frac{4}{1/4+\varpi}$. 

 -
*{DHL}[54,2]$ of Theorem \[main-dhl\](i).

We auso have a varicbt of Vheorem \[maynard-ghm\] which can accept inputs lf the dorm $\operatorname*{MPZ}[\vafpi,\delta]$:

\[mwynard-trync\] Owt $k \geq 2$ ehd $m \geq 1$ be rlxed nnvegers. Let $0<\varpl<1/4$ and $0 <\deltd < 1/2$ be such thdt $\o'eratorname*{MPZ}[\varpi,\delta]$ holds. For agy $\alphs>0$, pet $M_k^{[\alpha]}$ be defpnqd aa in, but where the supremum now rahges ovtr all square-integtable functions $F$ supportef in the *truncated* simolex $$\label{tji}
 \{ (e_1,\eots,t_k) \in [0,\aloha]^k: t_1+\dots+u_k \leq 1 \}$$ and are not identically zero. If $$M_k^{[\wrac{\dzlta}{1/4+\varpi}]} > \drqc{m}{1/4+\gdrpi},$$ then $\o'eratogname*{DHL}[k,m+1]$ holds.

In Sewtion \[axymptotics-sec\] ee xill establish the followmng variant of Theorgm \[mlower\], fhnch when combined wity Rheorgm \[mps-polh\], aluowa pns to ude Vheorem \[mayhard-trunc\] ti establish parts (io)-(vy) of Theorem \[mzin-dhl\] (agd hence Theorem \[main\]):

\[mlower-var\]

-   There txist $\delta,\varpi>0$ with $600 \varpi + 180 \delta < 7$ and $M_{\num{35410}}^{[\frwc{\delta}{1/4+\vawpi}]} > \frac{2}{1/4+\varpi}$.

-   There exist $\delta,\varpi>0$ with $600 \var[i + 180 \veuta < 7$ xbd $M_{\num{1649821}}^{[\frac{\delta}{1/4+\varpi}]} > \frac{3}{1/4+\varpi}$.

-   There exist $\qslua,\vsrpi>0$ with $600 \varii + 180 \delta < 7$ and $M_{\mul{75845707}}^{[\ftwc{\delta}{1/4+\varpi}]} > \frac{4}{1/4+\vcdpj}$.

-   
*{DHL}[54,2]$ of Theorem \[main-dhl\](i). We also have of \[maynard-thm\] which accept inputs of $k 2$ and $m 1$ be fixed Let $0<\varpi<1/4$ and $0 <\delta < be such that $\operatorname*{MPZ}[\varpi,\delta]$ holds. For any $\alpha>0$, let $M_k^{[\alpha]}$ be defined as but where the supremum now ranges over all square-integrable functions $F$ supported in *truncated* $$\label{ttk} (t_1,\dots,t_k) [0,\alpha]^k: t_1+\dots+t_k \leq 1 \}$$ and are not identically zero. If $$M_k^{[\frac{\delta}{1/4+\varpi}]} > \frac{m}{1/4+\varpi},$$ then $\operatorname*{DHL}[k,m+1]$ In Section \[asymptotics-sec\] we will establish the following of Theorem \[mlower\], which combined with Theorem \[mpz-poly\], allows to Theorem \[maynard-trunc\] establish (ii)-(vi) Theorem \[main-dhl\] (and Theorem \[main\]): \[mlower-var\] - There exist $\delta,\varpi>0$ with $600 \varpi + 180 \delta < 7$ and $M_{\num{35410}}^{[\frac{\delta}{1/4+\varpi}]} \frac{2}{1/4+\varpi}$. - $\delta,\varpi>0$ with \varpi 180 < 7$ and \frac{3}{1/4+\varpi}$. - There exist $\delta,\varpi>0$ with 180 \delta < 7$ and $M_{\num{75845707}}^{[\frac{\delta}{1/4+\varpi}]} > \frac{4}{1/4+\varpi}$.
*{DHL}[54,2]$ of Theorem \[main-dhl\](i).

We alsO have a variAnt of theOreM \[mAynaRd-thM\] which can accepT InpuTs of the form $\operatornamE*{MPZ}[\vArPI,\delTA]$:

\[mAynarD-trunc\] LET $k \GEQ 2$ anD $m \GeQ 1$ be FiXEd IntegErs. let $0<\varpI<1/4$ and $0 <\delta < 1/2$ bE suCh That $\operatorNAmE*{MPZ}[\varpi,\dEltA]$ holds. For any $\AlpHa>0$, let $M_K^{[\aLphA]}$ Be defIneD as in, But wheRE the suPremum now RaNGes oveR All squaRE-InTegrAble functions $F$ supPOrTEd in the *truncatEd* simpLeX $$\LaBEL{ttK}
 \{ (t_1,\dOts,t_k) \in [0,\alpHa]^K: t_1+\dotS+T_k \leq 1 \}$$ anD ArE NOT idENtically zero. IF $$M_k^{[\frac{\deltA}{1/4+\VarPi}]} > \frac{M}{1/4+\vArpI},$$ Then $\opEratoRnAMe*{DhL}[k,m+1]$ holds.

In sectIon \[asymptOtics-sEC\] we will EStablisH the foLloWinG varIAnT oF ThEoREm \[mLOwEr\], wHIch When combInEd With THeorEM \[MPZ-polY\], alLows One to Use Theorem \[mayNarD-truNC\] to EstabLish pArts (Ii)-(Vi) of THeorem \[Main-dHl\] (And hence Theorem \[Main\]):

\[Mlower-var\]

-   theRe ExiSt $\Delta,\VArpi>0$ wiTh $600 \vArpI + 180 \delta < 7$ aNd $M_{\num{35410}}^{[\fRAc{\dElTA}{1/4+\VArPi}]} > \frac{2}{1/4+\varpi}$.

-   There exIsT $\DElTa,\varpi>0$ wIth $600 \varPI + 180 \dElTA < 7$ and $M_{\num{1649821}}^{[\FrAc{\dElta}{1/4+\VARpi}]} > \frAc{3}{1/4+\vaRPi}$.

-   there exiSt $\deltA,\VaRpI>0$ with $600 \vaRpI + 180 \delta < 7$ AnD $M_{\nUm{75845707}}^{[\fRac{\deLTa}{1/4+\vaRpi}]} > \fraC{4}{1/4+\varpi}$.

-   
*{DHL}[54,2]$ of Theorem \ [main-dhl\ ](i). 

W e a ls o ha ve a  variant of Th e orem  \[maynard-thm\] which  canac c epti np uts o f the f o rm $ \op er at orn am e *{ MPZ}[ \va rpi,\de lta]$:

\[ may na rd-trunc\] L e t$k \geq 2$  an d $m \geq 1$  be  fixed  i nte g ers.Let  $0<\ varpi< 1 /4$ an d $0 <\de lt a  < 1/2 $  be suc h th at $ \operatorname*{MP Z }[ \ varpi,\delta]$  holds .F or a ny$\a lpha>0$, l et  $M_k ^ {[\alph a ]} $ b e d e fined as in,but where t h e s upremu mnow ranges  over  a l l s quare-integ rabl e functio ns $F$ support e d in th e *tru nca ted * si m pl ex  $$ \l a bel { tt k}\{(t_1,\do ts ,t _k) \ in [ 0 , \ a lpha ]^k : t_ 1+\do ts+t_k \leq 1  \} $$ a n d a re no t ide ntic al ly ze ro. If  $$M_ k^ {[\frac{\delta} {1/4 +\varpi}] } >  \ fra c{ m}{1/ 4 +\varp i}, $$then $\ operato r nam e* { D H L} [k,m+1]$ holds.

I nS e ct ion \[as ymptot i cs -s e c\] we w il l e stab l i sh th e fo l lo wing var iant o f  T he orem \[ ml ower\] ,whi chwhenc ombi ned wi th Theor em \[ m pz-poly\], all o ws one to use Th e o re m  \[m ayn ard-trunc\]  toe stab lish pa rts (ii)- (vi)of Th e orem \[main-dhl\] ( an d henc e The orem \[main\] ):

\[mlow e r - var\]

-    T h er e  exist $\delta ,\var pi>0$ with $600 \va rpi +  180 \de lta < 7$a n d $M_{\n um{ 354 10} }^{ [ \ fr ac{\delta}{1/ 4 + \var pi }]} > \ fra c{2}{1/ 4+\ var pi} $.
-    Thereexist $\ de lt a, \v arp i>0$w ith $600  \ var pi  +180 \ d elta <  7$ a nd $ M_ {\ n um{ 1649821 } }^ { [ \fra c{ \d elta }{1 /4 +\var pi}] }  >\frac{3 }{1/4+\va rpi } $.
- There e xist $\delta, \v arpi>0$ wi th  $6 00 \va r p i + 180\delta < 7$ and $M_{\nu m {758457 07} }^{[\ frac {\delta}{ 1/4 +\varp i}] }  > \fr ac{4}{ 1/4+\ va rpi } $ .

-
*{DHL}[54,2]$ of_Theorem \[main-dhl\](i).

We_also have a variant_of Theorem_\[maynard-thm\]_which can_accept_inputs of the_form $\operatorname*{MPZ}[\varpi,\delta]$:

\[maynard-trunc\] Let_$k \geq 2$ and_$m \geq 1$_be_fixed integers. Let $0<\varpi<1/4$ and $0 <\delta < 1/2$ be such that $\operatorname*{MPZ}[\varpi,\delta]$ holds._For_any $\alpha>0$,_let_$M_k^{[\alpha]}$_be defined as in, but_where the supremum now ranges_over all_square-integrable functions $F$ supported in the *truncated* simplex_$$\label{ttk}
_\{ (t_1,\dots,t_k) \in_[0,\alpha]^k: t_1+\dots+t_k \leq 1 \}$$ and are not identically_zero. If $$M_k^{[\frac{\delta}{1/4+\varpi}]} > \frac{m}{1/4+\varpi},$$ then_$\operatorname*{DHL}[k,m+1]$ holds.

In Section_\[asymptotics-sec\]_we_will establish the following_variant of Theorem \[mlower\], which when_combined with Theorem \[mpz-poly\], allows one_to use Theorem \[maynard-trunc\] to establish parts_(ii)-(vi) of Theorem \[main-dhl\] (and hence_Theorem \[main\]):

\[mlower-var\]

-   There_exist $\delta,\varpi>0$_with $600 \varpi + 180_\delta < 7$_and $M_{\num{35410}}^{[\frac{\delta}{1/4+\varpi}]}_> \frac{2}{1/4+\varpi}$.

- _ There exist $\delta,\varpi>0$ with $600_\varpi + 180_\delta < 7$ and $M_{\num{1649821}}^{[\frac{\delta}{1/4+\varpi}]} >_\frac{3}{1/4+\varpi}$.

-_  There_exist_$\delta,\varpi>0$_with $600_\varpi + 180_\delta_< 7$_and_$M_{\num{75845707}}^{[\frac{\delta}{1/4+\varpi}]} > \frac{4}{1/4+\varpi}$.

-   