n}\right)_{n}\right)$ has Hausdorff dimension at least $\left(1+\lambda\right)^{-1}$ where $\lambda$ is the lower order of infinity of $f$.

We record an immediate consequence of Theorem \[thm: lowering the known Energy threshold\] by using the convention that the $r$-folded iterated logarithm is denoted by $\log_{r}\left(x\right)$, i.e. $\log_{r}\left(x\right)\coloneqq\log_{r-1}\left(\log\left(x\right)\right)$ and $\log_{1}\left(x\right)\coloneqq\log\left(x\right)$.

\[cor: order of magnitude for the additive energy of the sequence of counter examples\]Let $r$ be a positive integer. Then, there is a strictly increasing sequence $\left(a_{n}\right)_{n}$ of positive integers with $$E\left(A_{N}\right)=\Theta\left(\frac{N^{3}}{\log\left(N\right)\log_{2}\left(N\right)\ldots\log_{r}\left(N\right)}\right)$$ such that $\NPPC\left(\left(a_{n}\right)_{n}\right)$ has full Lebesgue measure. Moreover, for any $\varepsilon>0$ there is a strictly increasing sequence $\left(a_{n}\right)_{n}$ of positive integers with $$E\left(A_{N}\right)=\Theta\left(\frac{\left(\log_{r}\left(N\right)\right)^{-\varepsilon}N^{3}}{\log\left(N\right)\log_{2}\left(N\right)\ldots\log_{r}\left(N\right)}\right)$$ such that $\NPPC\left(\left(a_{n}\right)_{n}\right)$ has full Hausdorff dimension.

The proof of Theorem \[thm: lowering the known Energy threshold\] connects the metric PPC property to the notion of “optimal regular systems” from Diophantine approximation. It uses, among other things, a Khintchine-type theorem due to Beresnevich. Furthermore, despite leading to better bounds, the nature of the sequences underpinning Theorem \[thm: lowering the known Energy threshold\] is much simpler than the nature of those sequences previously constructed by Bourgain [@Aistleitner; @L
n}\right)_{n}\right)$ has Hausdorff dimension at least $ \left(1+\lambda\right)^{-1}$ where $ \lambda$ is the lower order of eternity of $ f$. 

 We read an immediate consequence of Theorem \[thm: lowering the know Energy threshold\ ] by use the convention that the $ r$-folded iterated logarithm is denote by $ \log_{r}\left(x\right)$, i.e. $ \log_{r}\left(x\right)\coloneqq\log_{r-1}\left(\log\left(x\right)\right)$ and $ \log_{1}\left(x\right)\coloneqq\log\left(x\right)$. 

 \[cor: order of magnitude for the linear department of energy of the sequence of counter examples\]Let $ r$ be a positivist integer. Then, there is a strictly increasing succession $ \left(a_{n}\right)_{n}$ of positive integers with $ $ E\left(A_{N}\right)=\Theta\left(\frac{N^{3}}{\log\left(N\right)\log_{2}\left(N\right)\ldots\log_{r}\left(N\right)}\right)$$ such that $ \NPPC\left(\left(a_{n}\right)_{n}\right)$ has wide Lebesgue measure. Moreover, for any $ \varepsilon>0 $ there embody a strictly increasing sequence $ \left(a_{n}\right)_{n}$ of positivist integers with $ $ E\left(A_{N}\right)=\Theta\left(\frac{\left(\log_{r}\left(N\right)\right)^{-\varepsilon}N^{3}}{\log\left(N\right)\log_{2}\left(N\right)\ldots\log_{r}\left(N\right)}\right)$$ such that $ \NPPC\left(\left(a_{n}\right)_{n}\right)$ has full Hausdorff dimension. 

 The proof of Theorem \[thm: lower the known Energy threshold\ ] connects the metric PPC property to the notion of “ optimum regular systems ” from Diophantine approximation. It uses, among other things, a Khintchine - character theorem due to Beresnevich. Furthermore, despite contribute to better bounds, the nature of the sequences underpinning Theorem \[thm: lowering the known Energy threshold\ ] is much simpler than the nature of those sequences previously construct by Bourgain [ @Aistleitner; @L
n}\rihht)_{n}\right)$ has Hausdorff aimension at lecwt $\lefv(1+\lambda\dight)^{-1}$ whdre $\lambda$ is the lower ordec of infibity of $f$.

We record an kmmediate consequwnce if Theorem \[thm: lowcxing fme knmxn Energy thresmold\] by usitg the conventhov chat the $r$-folded iterated logarithm ys denoyef by $\log_{r}\left(x\tight)$, y.e. $\lkg_{r}\left(x\right)\coloneqq\log_{r-1}\left(\log\lert(x\righu)\right)$ and $\log_{1}\left(c\right)\coloneqq\log\left(x\righh)$.

\[cor: order of magnitudf for the aedityce energy of the sequence of countgr examples\]Let $r$ be a positive ivtegex. Then, therg js d strictly mncreafing sequencc $\left(a_{t}\right)_{n}$ of positive iktegecs wuth $$E\left(A_{N}\right)=\Theta\neft(\frac{N^{3}}{\log\left(N\ryght)\log_{2}\lext(U\right)\ldots\log_{r}\left(N\rugyt)}\rigvt)$$ sgch gyat $\NPKC\lxft(\meft(a_{n}\gigit)_{n}\right)$ haa full Lebewgue measure. Moreovtr, sir any $\varepsjlon>0$ trewe is a strictly increasing sequence $\lext(a_{h}\right)_{n}$ of positive intwgers with $$E\left(A_{N}\rigjt)=\Theta\lest(\frac{\left(\log_{r}\left(N\right)\right)^{-\varepsilon}N^{3}}{\log\left(N\rhght)\lke_{2}\leyb(K\rigfr)\lfots\log_{r}\left(N\right)}\right)$$ such that $\NPPC\left(\lefe(z_{n}\tinht)_{n}\right)$ has fujl Hausdorfg fikgnsion.

The proow of Tksodem \[thm: lowering tje knowg Eneegy thresrold\] connects the metric PPC priperty to thv norion of “optimal reyular systemr” frpm Dipphantine approximation. It hses, among lther thihes, a Khintchine-thpe tveorem due to Beresnevich. Surthermoce, dexpite ldadimg to fetter boujds, tma nature of the seeuencgs undarpinning Hheorem \[thm: lowering the known Xiergy threshokd\] is much siipler than the nattre of those sgquences 'reviojsly constgucted by Bourgain [@Aystleitner; @L
n}\right)_{n}\right)$ has Hausdorff dimension at least $\left(1+\lambda\right)^{-1}$ is lower order infinity of $f$. of \[thm: lowering the Energy threshold\] by the convention that the $r$-folded iterated is denoted by $\log_{r}\left(x\right)$, i.e. $\log_{r}\left(x\right)\coloneqq\log_{r-1}\left(\log\left(x\right)\right)$ and $\log_{1}\left(x\right)\coloneqq\log\left(x\right)$. \[cor: order of magnitude for additive energy of the sequence of counter examples\]Let $r$ be a positive integer. there a increasing $\left(a_{n}\right)_{n}$ of positive integers with $$E\left(A_{N}\right)=\Theta\left(\frac{N^{3}}{\log\left(N\right)\log_{2}\left(N\right)\ldots\log_{r}\left(N\right)}\right)$$ such that $\NPPC\left(\left(a_{n}\right)_{n}\right)$ has full Lebesgue measure. Moreover, for any there is a strictly increasing sequence $\left(a_{n}\right)_{n}$ of integers with $$E\left(A_{N}\right)=\Theta\left(\frac{\left(\log_{r}\left(N\right)\right)^{-\varepsilon}N^{3}}{\log\left(N\right)\log_{2}\left(N\right)\ldots\log_{r}\left(N\right)}\right)$$ such $\NPPC\left(\left(a_{n}\right)_{n}\right)$ has full Hausdorff dimension. proof Theorem \[thm: the Energy connects the metric property to the notion of “optimal regular systems” from Diophantine approximation. It uses, among other things, a theorem due Furthermore, despite to bounds, nature of the Theorem \[thm: lowering the known Energy simpler than the nature of those sequences previously by Bourgain @L
n}\right)_{n}\right)$ has Hausdorff dImension at Least $\LefT(1+\laMbDa\riGht)^{-1}$ wHere $\lambda$ is thE LoweR order of infinity of $f$.

We rEcord An IMmedIAtE consEquence OF THEOreM \[tHm: LowErINg The knOwn energy tHreshold\] by UsiNg The conventioN ThAt the $r$-foldEd iTerated logarIthM is denOtEd bY $\Log_{r}\lEft(X\righT)$, i.e. $\log_{R}\Left(x\rIght)\colonEqQ\Log_{r-1}\leFT(\log\lefT(X\RiGht)\rIght)$ and $\log_{1}\left(x\riGHt)\COloneqq\log\left(X\right)$.

\[CoR: OrDER of MagNitude for tHe AdditIVe energY Of THE SeqUEnce of counter Examples\]Let $R$ Be a PositiVe IntEGer. TheN, therE iS A stRictly increAsinG sequence $\Left(a_{n}\RIght)_{n}$ of POsitive IntegeRs wIth $$e\lefT(a_{N}\RiGht)=\thETa\lEFt(\FraC{n^{3}}{\loG\left(N\riGhT)\lOg_{2}\lefT(N\riGHT)\LDots\Log_{R}\lefT(N\rigHt)}\right)$$ such thAt $\NpPC\lEFt(\lEft(a_{n}\Right)_{N}\rigHt)$ Has fuLl LebeSgue mEaSure. Moreover, for Any $\vArepsilon>0$ TheRe Is a StRictlY IncreaSinG seQuence $\lEft(a_{n}\riGHt)_{n}$ Of POSItIve integers with $$E\leFt(a_{n}\RiGht)=\Theta\Left(\frAC{\lEfT(\Log_{r}\left(n\rIghT)\rigHT)^{-\VarepSiloN}n^{3}}{\lOg\left(N\rIght)\loG_{2}\LeFt(n\right)\lDoTs\log_{r}\LeFt(N\RigHt)}\rigHT)$$ sucH that $\NpPC\left(\lEft(a_{n}\RIght)_{n}\right)$ has fULl Hausdorff diMEnSIOn.

tHe prOof Of Theorem \[thM: lowERing The kNOwN EnERgy thReshoLd\] COnNEcts the metric PPC proPeRty to tHe notIon of “optimal rEgular systEMS” From DiopHantINe APproximation. It Uses, aMong other tHIngs, a KhiNtchiNe-type thEorem due tO bEresneviCh. FUrtHerMorE, DEsPite leading to BETter BoUnds, the NatUre of thE seQueNceS unDeRpinning THeorem \[thM: lOwErInG thE knowN energy thReShoLd\] Is mUch siMPler thAn the NatuRe Of THosE sequenCEs PREvioUsLy ConsTruCtEd by BOurgAIn [@AIstleitNer; @L
n}\right)_{n}\right)$ hasHausdorffdimen sio n a tleas t $\ left(1+\lambda \ righ t)^{-1}$ where $\lambd a$ is  t h e lo w er  orde r of in f in i t y o f$f $.
W e  r ecord  an  immedi ate conseq uen ce  of Theorem\ [t hm: loweri ngthe known En erg y thre sh old \ ] byusi ng th e conv e ntionthat the$r $ -folde d  iterat e d  l ogar ithm is denoted b y  $ \ log_{r}\left(x \right )$ ,  i . e . $ \lo g_{r}\left (x \righ t )\colon e qq \ l o g_{ r -1}\left(\log \left(x\rig h t)\ right) $and $\log_ {1}\l ef t (x\ right)\colo neqq \log\left (x\rig h t)$.

\ [ cor: or der of  ma gni tude fo rthe  a d dit i ve  en e rgy  of these qu enceof c o u n t er e xam ples \]Let  $r$ be a pos iti ve i n teg er. T hen,ther eis astrict ly in cr easing sequence  $\l eft(a_{n} \ri gh t)_ {n }$ of positi veint egers w ith $$E \ lef t( A _ { N} \right)=\Theta\lef t( \ f ra c{N^{3}} {\log\ l ef t( N \right)\ lo g_{ 2}\l e f t(N\r ight ) \l dots\log _{r}\l e ft (N \right) }\ right) $$  su chthat$ \NPP C\left (\left(a _{n}\ r ight)_{n}\righ t )$ has full L e be s g ue meas ure . Moreover,  for any$\va r ep sil o n>0$there  i s  a strictly increasing  s equenc e $\l eft(a_{n}\rig ht)_{n}$ o f p ositiveinte g er s  with $$E\left (A_{N }\right)=\ T heta\lef t(\fr ac{\left (\log_{r} \ l eft(N\ri ght )\r igh t)^ { - \v arepsilon}N^{ 3 } }{\l og \left(N \ri ght)\lo g_{ 2}\ lef t(N \r ight)\ldo ts\log_{ r} \l ef t( N\r ight) } \right)$ $suc htha t $\N P PC\lef t(\le ft(a _{ n} \ rig ht)_{n} \ ri g h t)$ha sfull  Ha us dorff  dim e nsi on.

Th e proof o f T h eore m\[ thm: lo wering the kn ow n Energy t hr esh old\]c o nnects t he metric PPC propertyt o the n oti on of  “op timal reg ula r syst ems ”  fromDiopha ntine  a ppr o x imati o n .Itus es, amongo t her  thin gs , aKhintch ine-type theorem d u e t o Beresnevich . F urth e r mo re, de s pit el ead i n g to better bou nds, the n at u re  of the se q uen ce s under pinning  Theo r em \[th m: loweri ng the kn ow n En e r gythreshold\ ] is muc h simpler thant he  natu reof tho se  se quenc es pre v iou sly c onstru ct ed byBourg ai n [@Aist leitner; @L
n}\right)_{n}\right)$ has_Hausdorff dimension_at least $\left(1+\lambda\right)^{-1}$ where_$\lambda$ is_the_lower order_of_infinity of $f$.

We_record an immediate_consequence of Theorem \[thm:_lowering the known_Energy_threshold\] by using the convention that the $r$-folded iterated logarithm is denoted by $\log_{r}\left(x\right)$,_i.e._$\log_{r}\left(x\right)\coloneqq\log_{r-1}\left(\log\left(x\right)\right)$ and_$\log_{1}\left(x\right)\coloneqq\log\left(x\right)$.

\[cor:_order_of magnitude for the additive_energy of the sequence of_counter examples\]Let_$r$ be a positive integer. Then, there is_a_strictly increasing sequence_$\left(a_{n}\right)_{n}$ of positive integers with $$E\left(A_{N}\right)=\Theta\left(\frac{N^{3}}{\log\left(N\right)\log_{2}\left(N\right)\ldots\log_{r}\left(N\right)}\right)$$ such that $\NPPC\left(\left(a_{n}\right)_{n}\right)$_has full Lebesgue measure. Moreover, for_any $\varepsilon>0$ there_is_a_strictly increasing sequence $\left(a_{n}\right)_{n}$_of positive integers with $$E\left(A_{N}\right)=\Theta\left(\frac{\left(\log_{r}\left(N\right)\right)^{-\varepsilon}N^{3}}{\log\left(N\right)\log_{2}\left(N\right)\ldots\log_{r}\left(N\right)}\right)$$ such_that $\NPPC\left(\left(a_{n}\right)_{n}\right)$ has full Hausdorff dimension.

The_proof of Theorem \[thm: lowering the known_Energy threshold\] connects the metric PPC_property to the notion of_“optimal regular_systems” from Diophantine approximation. It_uses, among other_things, a_Khintchine-type theorem due_to Beresnevich. Furthermore, despite leading to_better bounds, the_nature of the sequences underpinning Theorem_\[thm:_lowering the known_Energy_threshold\]_is much_simpler than the_nature_of those_sequences_previously constructed by Bourgain [@Aistleitner; @L