 for $\varpi > 0.229855$). Unfortunately, the only results of the type $\operatorname*{EH}[\vartheta]$ that are known come from the Bombieri-Vinogradov theorem (Theorem \[bv-thm\]), which only establishes $\operatorname*{EH}[\vartheta]$ for $0 < \vartheta < 1/2$.

The first unconditional bound on $H_1$ was established in a breakthrough work of Zhang [@zhang]:

\[zhang-thm\] $H_1 \leq \num{70000000}$.

Zhang’s argument followed the general strategy from [@gpy] on finding small gaps between primes, with the major new ingredient being a proof of a weaker version of $\operatorname*{EH}[\frac{1}{2}+2\varpi]$, which we call $\operatorname*{MPZ}[\varpi,\delta]$; see Claim \[mpz-claim\] below. It was quickly realized that Zhang’s numerical bound on $H_1$ could be improved. By optimizing many of the components in Zhang’s argument, we were able [@polymath8a; @polymath8a-unabridged] to improve Zhang’s bound to $$H_1 \leq \num{4680}.$$

Very shortly afterwards, a further breakthrough was obtained by Maynard [@maynard-new] (with related work obtained independently in unpublished work of Tao), who developed a more flexible “multidimensional” version of the Selberg sieve to obtain stronger bounds on $H_m$. This argument worked without using any equidistribution results on primes beyond the Bombieri-Vinogradov theorem, and amongst other things was able to establish finiteness of $H_m$ for all $m$, not just for $m=1$. More precisely, Maynard established the following results.

Unconditionally, we have the following bounds:

-   $H_1 \leq 600$.

-   $H_m \leq C m^3 e^{4m}$ for all $m \geq 1$ and an absolute (and effective) constant $C$.

Assuming the Elliott-Halberstam conjecture $\operatorname*{EH}[\vartheta]$ for all $0 < \vartheta < 1$, we have the following improvements:

-   $H_1 \leq 12$.

-   $H_2 \leq 600$.

-   $H_m \
for $ \varpi > 0.229855 $). Unfortunately, the only results of the type $ \operatorname*{EH}[\vartheta]$ that are known hail from the Bombieri - Vinogradov theorem (Theorem \[bv - thm\ ]), which merely establishes $ \operatorname*{EH}[\vartheta]$ for $ 0 < \vartheta < 1/2$. 

 The first unconditional restrict on $ H_1 $ was established in a breakthrough oeuvre of Zhang [ @zhang ]: 

 \[zhang - thm\ ] $ H_1 \leq \num{70000000}$. 

 Zhang ’s argumentation followed the cosmopolitan scheme from [ @gpy ] on finding small col between primes, with the major new ingredient being a validation of a weaker version of $ \operatorname*{EH}[\frac{1}{2}+2\varpi]$, which we visit $ \operatorname*{MPZ}[\varpi,\delta]$; see Claim \[mpz - claim\ ] below. It was promptly realized that Zhang ’s numerical bound on $ H_1 $ could be improved. By optimize many of the components in Zhang ’s argument, we were able [ @polymath8a; @polymath8a - unabridged ] to improve Zhang ’s jump to $ $ H_1 \leq \num{4680}.$$ 

 Very shortly afterwards, a further breakthrough was obtained by Maynard [ @maynard - new ] (with related work prevail independently in unpublished work of Tao), who developed a more flexible “ multidimensional ” version of the Selberg sieve to obtain stronger bounds on $ H_m$. This argument worked without using any equidistribution results on primes beyond the Bombieri - Vinogradov theorem, and amongst other things was able to establish finiteness of $ H_m$ for all $ m$, not just for $ m=1$. More precisely, Maynard established the follow results. 

 Unconditionally, we have the following boundary: 

 -    $ H_1 \leq 600$. 

 -    $ H_m \leq C m^3 e^{4m}$ for all $ m \geq 1 $ and an absolute (and effective) constant $ C$. 

 Assuming the Elliott - Halberstam conjecture $ \operatorname*{EH}[\vartheta]$ for all $ 0 < \vartheta < 1 $, we accept the following improvements: 

 -    $ H_1 \leq 12$. 

 -    $ H_2 \leq 600$. 

 -    $ H_m \
 fog $\varpi > 0.229855$). Unfortunately, uhe only results of the vype $\opsratornaoe*{EH}[\vartheta]$ that are known rome from the Bombieri-Vinogradox theorem (Theorem \[bv-tim\]), which only esvzblishes $\operzbornakx*{EH}[\vartheta]$ for $0 < \varthetd < 1/2$.

The first utcunbitional bound on $H_1$ was established yn a brranthrough work jf Znwng [@ahang]:

\[zhang-thm\] $H_1 \leq \num{70000000}$.

Zhang’s argujent fonlowed the gemeral strategy from [@gpy] on finfing small gaps behween primew, wiey the major vew ingredpznt being a proof of a weaker version of $\ooeratprname*{EH}[\frqc{1}{2}+2\caroh]$, which we rall $\oieratorname*{MPD}[\narpi,\denta]$; see Claim \[mpz-claik\] bxlow. It was quickly realived that Zhang’s numetical boung kn $H_1$ could be impeoced. Bi opthmizkbg oang pf the clmpknents in Ahang’s argunent, we were able [@pplrnath8a; @polymatg8a-unabwiqged] to improve Zhang’s bound to $$H_1 \leq \nlm{4680}.$$

Vedy shortly afterwards, a further breakthrough was obtayned by Maynard [@maynard-new] (with related work obtahned mnaeptneentlh ij unpublished work of Tao), who developed a morq fkeqible “multidimenslonal” version of tne Srjberg sieve tu obtanh atronger bounds on $H_m$. Thif argyment worhed eithout using any equidistrubution resujrs on primes beyonb the Bombiexi-Vinobradof theorem, and amongst ocher tgings was ahle to esfxblish finitenesr on $H_k$ for all $m$, not just for $m=1$. More preriselv, Maynara esjablishqd the folpowinn results.

Unconditiojally, wa have the following bounds:

-   $H_1 \leq 600$.

-   $H_m \leq C m^3 e^{4m}$ fot anl $k \geq 1$ aud an sbsolute (and qffective) consjant $C$.

Assbming ghe Elliotn-Halberstem conjecturq $\operatornama*{GH}[\vartheta]$ foc all $0 < \vwrthwta < 1$, we haxd the followinb improvements:

-   $H_1 \oeq 12$.

-   $H_2 \leq 600$.

-   $H_m \
for $\varpi > 0.229855$). Unfortunately, the only the $\operatorname*{EH}[\vartheta]$ that known come from which establishes $\operatorname*{EH}[\vartheta]$ for < \vartheta < The first unconditional bound on $H_1$ established in a breakthrough work of Zhang [@zhang]: \[zhang-thm\] $H_1 \leq \num{70000000}$. Zhang’s followed the general strategy from [@gpy] on finding small gaps between primes, with major ingredient a of a weaker version of $\operatorname*{EH}[\frac{1}{2}+2\varpi]$, which we call $\operatorname*{MPZ}[\varpi,\delta]$; see Claim \[mpz-claim\] below. It was realized that Zhang’s numerical bound on $H_1$ could improved. By optimizing many the components in Zhang’s argument, were [@polymath8a; @polymath8a-unabridged] improve bound $$H_1 \leq \num{4680}.$$ shortly afterwards, a further breakthrough was obtained by Maynard [@maynard-new] (with related work obtained independently in unpublished of Tao), a more “multidimensional” of Selberg sieve to bounds on $H_m$. This argument worked equidistribution results on primes beyond the Bombieri-Vinogradov theorem, amongst other was able to establish finiteness of for all $m$, not just for $m=1$. More Maynard established the following results. Unconditionally, we have the following bounds: - $H_1 \leq 600$. \leq C m^3 e^{4m}$ all $m \geq and absolute effective) $C$. Assuming Elliott-Halberstam conjecture $\operatorname*{EH}[\vartheta]$ for all $0 < \vartheta < 1$, we the following improvements: - $H_1 \leq 12$. - $H_2 \leq $H_m
 for $\varpi > 0.229855$). Unfortunately, the oNly results Of the TypE $\opErAtorName*{eH}[\vartheta]$ that ARe knOwn come from the Bombieri-vinogRaDOv thEOrEm (TheOrem \[bv-tHM\]), wHICh oNlY eStaBlIShEs $\opeRatOrname*{Eh}[\vartheta]$ fOr $0 < \vArTheta < 1/2$.

The firsT UnConditionaL boUnd on $H_1$ was estAblIshed iN a BreAKthroUgh Work oF Zhang [@ZHang]:

\[zhAng-thm\] $H_1 \leQ \nUM{70000000}$.

Zhang’S ArgumenT FOlLoweD the general strateGY fROm [@gpy] on finding Small gApS BeTWEen PriMes, with the MaJor neW IngrediENt BEINg a PRoof of a weaker Version of $\opERatOrname*{eH}[\FraC{1}{2}+2\Varpi]$, wHich wE cALl $\oPeratorname*{mPZ}[\vArpi,\delta]$; See ClaIM \[mpz-claIM\] below. IT was quIckLy rEaliZEd ThAt ZHaNG’s nUMeRicAL boUnd on $H_1$ coUlD bE imprOved. bY OPTimiZinG manY of thE components in zhaNg’s aRGumEnt, we Were aBle [@pOlYmath8A; @polymAth8a-uNaBridged] to improvE ZhaNg’s bound tO $$H_1 \lEq \Num{4680}.$$

veRy shoRTly aftErwArdS, a furthEr breakTHroUgH WAS oBtained by Maynard [@maYnARD-nEw] (with reLated wORk ObTAined indEpEndEntlY IN unpuBlisHEd Work of TaO), who deVElOpEd a more FlExible “MuLtiDimEnsioNAl” veRsion oF the SelbErg siEVe to obtain stroNGer bounds on $H_m$. tHiS ARgUMent WorKed without uSing ANy eqUidiSTrIbuTIon reSults On PRiMEs beyond the Bombieri-viNogradOv theOrem, and amongsT other thinGS WAs able to EstaBLiSH finiteness of $H_M$ for aLl $m$, not just FOr $m=1$. More pRecisEly, MaynaRd establiSHEd the folLowIng ResUltS.

uNcOnditionally, wE HAve tHe FollowiNg bOunds:

-   $H_1 \lEq 600$.

-   $H_M \leQ C m^3 E^{4m}$ fOr All $m \geq 1$ anD an absolUtE (aNd EfFecTive) cONstant $C$.

ASsUmiNg The ellioTT-HalbeRstam ConjEcTuRE $\opEratornAMe*{eh}[\VartHeTa]$ For aLl $0 < \vArTheta < 1$, We haVE thE followIng improvEmeNTs:

-   $H_1 \lEq 12$.

-   $h_2 \lEq 600$.

-   $H_m \
 for $\varpi > 0.229855$).  Unfortuna tely,  th e o nl y re sult s of the type$ \ope ratorname*{EH}[\varthe ta]$th a t ar e  k nowncome fr o mt h e B om bi eri -V i no grado v t heorem(Theorem \ [bv -t hm\]), which on ly establi she s $\operator nam e*{EH} [\ var t heta] $ f or $0  < \va r theta< 1/2$.
Th e  first uncondi t i on al b ound on $H_1$ was es t ablished in abreakt hr o ug h wor k o f Zhang [@ zh ang]: 
\[zhan g -t h m \ ] $ H _1 \leq \num{ 70000000}$. 
Zh ang’sar gum e nt fol lowed  t h e g eneral stra tegy  from [@g py] on finding small g aps be twe enprim e s,  w ith  t h e m a jo r n e w i ngredien tbe ing a  pro o f o f awea kerversi on of $\opera tor name * {EH }[\fr ac{1} {2}+ 2\ varpi ]$, wh ich w ecall $\operator name *{MPZ}[\v arp i, \de lt a]$;s ee Cla im\[m pz-clai m\] bel o w.It w a squickly realized t ha t Zh ang’s nu merica l  b ou n d on $H_ 1$  co uldb e  impr oved .  B y optimi zing m a ny  o f the c om ponent sinZha ng’sa rgum ent, w e were a ble [ @ polymath8a; @p o lymath8a-unab r id g e d] to i mpr ove Zhang’s  bou n d to  $$H _ 1\le q  \num {4680 }. $ $Very shortly afterw ar ds, afurth er breakthrou gh was obt a i n ed by Ma ynar d  [ @ maynard-new] ( withrelated wo r k obtain ed in dependen tly in un p u blishedwor k o f T ao) , wh o developed a m orefl exible“mu ltidime nsi ona l”ver si on of the  Selberg  s ie ve  t o o btain stronger  b oun ds  on  $H_m $ . This  argu ment  w or k edwithout us i n g an yeq uidi str ib ution  res u lts  on pri mes beyon d t h e Bo mb ie ri-Vino gradov theore m,  and among st  ot her th i n gs was a ble to establish finite n ess of$H_ m$ fo r al l $m$, no t j ust fo r $ m =1$. M ore pr ecise ly , M a y narde s ta bli sh ed the fol l o win g res ul ts.
Uncond itionally, we have the  following bo und s:
-  $H_ 1  \ l eq60 0 $.-    $H_m \leq Cm^3 e^{4m} $f or  all $m \g e q 1 $and anabsolut e (an d  effect ive) cons tant $C$. 
Assu m i ngthe Elliot t-Halber stam conj e cture $\ opera tor name*{ EH }[\ varth eta]$f orall $ 0 < \v ar theta< 1$,  w e have t he following improvemen ts:

-    $H _1\leq 12$. 

-   $ H_2 \leq600$ .

-   $H_ m \ 
 for_$\varpi >_0.229855$). Unfortunately, the only_results of_the_type $\operatorname*{EH}[\vartheta]$_that_are known come_from the Bombieri-Vinogradov_theorem (Theorem \[bv-thm\]), which_only establishes $\operatorname*{EH}[\vartheta]$_for_$0 < \vartheta < 1/2$.

The first unconditional bound on $H_1$ was established in a_breakthrough_work of_Zhang_[@zhang]:

\[zhang-thm\]_$H_1 \leq \num{70000000}$.

Zhang’s argument followed_the general strategy from [@gpy]_on finding_small gaps between primes, with the major new_ingredient_being a proof_of a weaker version of $\operatorname*{EH}[\frac{1}{2}+2\varpi]$, which we call_$\operatorname*{MPZ}[\varpi,\delta]$; see Claim \[mpz-claim\] below. It_was quickly realized_that_Zhang’s_numerical bound on $H_1$_could be improved. By optimizing many_of the components in Zhang’s argument,_we were able [@polymath8a; @polymath8a-unabridged] to improve_Zhang’s bound to $$H_1 \leq \num{4680}.$$

Very_shortly afterwards, a further breakthrough_was obtained_by Maynard [@maynard-new] (with related_work obtained independently_in unpublished_work of Tao),_who developed a more flexible “multidimensional”_version of the_Selberg sieve to obtain stronger bounds_on_$H_m$. This argument_worked_without_using any_equidistribution results on_primes_beyond the_Bombieri-Vinogradov_theorem, and amongst other things was_able_to establish finiteness of $H_m$ for all_$m$, not just for_$m=1$._More precisely, Maynard established_the following results.

Unconditionally, we have_the following bounds:

-   $H_1_\leq 600$.

-_ _$H_m \leq C m^3 e^{4m}$ for all $m \geq 1$ and_an absolute (and effective) constant $C$.

Assuming_the Elliott-Halberstam conjecture $\operatorname*{EH}[\vartheta]$_for all_$0_< \vartheta <_1$,_we have_the following improvements:

-   $H_1 \leq_12$.

- _ $H_2 \leq 600$.

-  _$H_m \