 the first part of Theorem \[thm:VarMainGeneralized\] (that yields the first part of Theorem \[thm:VarMain\]):

Assume that $ n\in S_2 $ satisfies the hypothesis $ \mathcal{D}(n,\epsilon/2) $. We may rewrite (\[eq:VarFormula2d\]) as $$\mathcal{V}\left(X_{f_{n},r}\right)=8\pi^{2}r^{4}\int_{0}^{2}h_{2}\left(Ts\right)\,\text{d}F\left(s\right).\label{eq:VarianceintegralForm}$$ We apply integration by parts to (\[eq:VarianceintegralForm\]) twice, in opposite directions: first, by integration by parts and Proposition \[prop:DiscreteProp\], we get $$\begin{aligned}
    8\pi^{2}r^{4}\int_{0}^{2}h_{2}\left(Ts\right)\,\text{d}F\left(s\right) & =8\pi^{2}r^{4}h_{2}\left(2T\right)F\left(2\right)-8\pi^{2}r^{4}\int_{0}^{2}F\left(s\right)\,\text{d}h_{2}\left(Ts\right)\label{eq:VarEqAfterIntByParts}\\
    & =8\pi^{2}r^{4}h_{2}\left(2T\right)F\left(2\right)-8\pi r^{4}\cos^{-2}\theta\int_{0}^{2}s\,\text{d}h_{2}\left(Ts\right)\nonumber \\
    & +Err\left(X_{f_n,r}\right)\nonumber
    \end{aligned}$$ where $$\begin{aligned}
    & Err\left(X_{f_n,r}\right)\ll r^{4}\cos^{-2}\theta\int_{0}^{2}\left(s^{3}+\Delta\left(n\right)+\widetilde{V}(\underline{v}) s^{2}+\widetilde{V}(\underline{v})\Delta\left(n\right)^{2}\right)T\left|h_{2}'\left(Ts\right)\right|\,\text{d}s.
    \end{aligned}$$ Integrating by parts
the first part of Theorem \[thm: VarMainGeneralized\ ] (that yields the first character of Theorem \[thm: VarMain\ ] ): 

 wear that $ n\in S_2 $ satisfies the hypothesis $ \mathcal{D}(n,\epsilon/2) $. We may rewrite (\[eq: VarFormula2d\ ]) as $ $ \mathcal{V}\left(X_{f_{n},r}\right)=8\pi^{2}r^{4}\int_{0}^{2}h_{2}\left(Ts\right)\,\text{d}F\left(s\right).\label{eq: VarianceintegralForm}$$ We apply consolidation by parts to (\[eq: VarianceintegralForm\ ]) twice, in opposite management: first, by integration by part and Proposition \[prop: DiscreteProp\ ], we get $ $ \begin{aligned } 
     8\pi^{2}r^{4}\int_{0}^{2}h_{2}\left(Ts\right)\,\text{d}F\left(s\right) & = 8\pi^{2}r^{4}h_{2}\left(2T\right)F\left(2\right)-8\pi^{2}r^{4}\int_{0}^{2}F\left(s\right)\,\text{d}h_{2}\left(Ts\right)\label{eq: VarEqAfterIntByParts}\\ 
     & = 8\pi^{2}r^{4}h_{2}\left(2T\right)F\left(2\right)-8\pi r^{4}\cos^{-2}\theta\int_{0}^{2}s\,\text{d}h_{2}\left(Ts\right)\nonumber \\ 
     & + Err\left(X_{f_n, r}\right)\nonumber 
     \end{aligned}$$ where $ $ \begin{aligned } 
     & Err\left(X_{f_n, r}\right)\ll r^{4}\cos^{-2}\theta\int_{0}^{2}\left(s^{3}+\Delta\left(n\right)+\widetilde{V}(\underline{v }) s^{2}+\widetilde{V}(\underline{v})\Delta\left(n\right)^{2}\right)T\left|h_{2}'\left(Ts\right)\right|\,\text{d}s. 
     \end{aligned}$$ Integrating by contribution
 thf first part of Theorem \[uhm:VarMainGeneralnzed\] (thet yielss the fkrst part of Theorem \[thm:VarMein\]):

Awsume that $ n\in S_2 $ satisfier the hyplthesis $ \matical{D}(n,\epsilon/2) $. Wx may rewrite (\[se:VarYocmula2d\]) as $$\mathcsl{V}\left(X_{f_{n},s}\right)=8\pi^{2}r^{4}\int_{0}^{2}h_{2}\lafg(Td\right)\,\text{d}F\left(s\right).\label{eq:VarianseintegtapForm}$$ We apply inttgrwtioh by parts to (\[eq:VarianceintegralFodm\]) twict, in opposite direvtions: first, by integratioj by parts and Proposihion \[prop:DiwcreewProp\], we get $$\begin{aligned}
    8\pi^{2}r^{4}\inj_{0}^{2}h_{2}\left(Ts\right)\,\text{d}F\left(s\right) & =8\pk^{2}r^{4}h_{2}\leyt(2T\right)F\ledt(2\eigjj)-8\pi^{2}r^{4}\int_{0}^{2}F\left(w\righn)\,\text{d}h_{2}\left(Ts\vpght)\labal{eq:VarRqAfterIntByPavts}\\
    & =8\pi^{2}r^{4}h_{2}\left(2T\right)F\left(2\rijht)-8\pi r^{4}\cos^{-2}\theta\int_{0}^{2}s\,\tgxt{d}h_{2}\left(Tv\rnght)\nonumber \\
    & +Err\oedt(X_{f_n,t}\righd)\nonjnbef
    \xnd{zlignef}$$ wiere $$\begin{amigned}
    & Wrr\left(X_{f_n,r}\right)\ll t^{4}\cjw^{-2}\theta\int_{0}^{2}\left(a^{3}+\Delta\jest(n\right)+\widetilde{V}(\underline{v}) s^{2}+\widetilde{N}(\undsrline{v})\Delta\left(n\right)^{2}\rught)T\left|h_{2}'\left(Ts\right)\tight|\,\text{d}f.
    \end{aligned}$$ Integrating by parts
the first part of Theorem \[thm:VarMainGeneralized\] (that first of Theorem Assume that $ hypothesis \mathcal{D}(n,\epsilon/2) $. We rewrite (\[eq:VarFormula2d\]) as We apply integration by parts to twice, in opposite directions: first, by integration by parts and Proposition \[prop:DiscreteProp\], we $$\begin{aligned} 8\pi^{2}r^{4}\int_{0}^{2}h_{2}\left(Ts\right)\,\text{d}F\left(s\right) & =8\pi^{2}r^{4}h_{2}\left(2T\right)F\left(2\right)-8\pi^{2}r^{4}\int_{0}^{2}F\left(s\right)\,\text{d}h_{2}\left(Ts\right)\label{eq:VarEqAfterIntByParts}\\ & =8\pi^{2}r^{4}h_{2}\left(2T\right)F\left(2\right)-8\pi r^{4}\cos^{-2}\theta\int_{0}^{2}s\,\text{d}h_{2}\left(Ts\right)\nonumber \\ & +Err\left(X_{f_n,r}\right)\nonumber \end{aligned}$$ where $$\begin{aligned} Err\left(X_{f_n,r}\right)\ll s^{2}+\widetilde{V}(\underline{v})\Delta\left(n\right)^{2}\right)T\left|h_{2}'\left(Ts\right)\right|\,\text{d}s. Integrating parts
 the first part of Theorem \[thm:VArMainGeneRalizEd\] (tHat YiElds The fIrst part of TheoREm \[thM:VarMain\]):

Assume that $ n\in S_2 $ SatisFiES the HYpOthesIs $ \mathcAL{D}(N,\EPsiLoN/2) $. WE maY rEWrIte (\[eq:varformula2D\]) as $$\mathcal{v}\leFt(x_{f_{n},r}\right)=8\pi^{2}r^{4}\INt_{0}^{2}H_{2}\left(Ts\rigHt)\,\tExt{d}F\left(s\riGht).\Label{eQ:VAriANceinTegRalFoRm}$$ We apPLy inteGration by PaRTs to (\[eq:vArianceINTeGralform\]) twice, in opposiTE dIRections: first, bY integRaTIoN BY paRts And ProposiTiOn \[proP:discretEprOP\], WE geT $$\Begin{aligned}
    8\pI^{2}r^{4}\int_{0}^{2}h_{2}\left(TS\RigHt)\,\text{D}F\LefT(S\right) & =8\Pi^{2}r^{4}h_{2}\lEfT(2t\riGht)F\left(2\rigHt)-8\pi^{2}R^{4}\int_{0}^{2}F\left(S\right)\,\TExt{d}h_{2}\leFT(Ts\righT)\label{Eq:VArEQAftERINtbyPArTS}\\
    & =8\pi^{2}R^{4}H_{2}\lEft(2t\RigHt)F\left(2\rIgHt)-8\Pi r^{4}\coS^{-2}\theTA\INT_{0}^{2}s\,\teXt{d}H_{2}\lefT(Ts\riGht)\nonumber \\
    & +ErR\leFt(X_{f_N,R}\riGht)\noNumbeR
    \end{AlIgned}$$ Where $$\bEgin{aLiGned}
    & Err\left(X_{f_n,r}\RighT)\ll r^{4}\cos^{-2}\thEta\InT_{0}^{2}\leFt(S^{3}+\DeltA\Left(n\rIghT)+\wiDetilde{v}(\underlINe{v}) S^{2}+\wIDETiLde{V}(\underline{v})\DeltA\lEFT(n\Right)^{2}\rigHt)T\lefT|H_{2}'\lEfT(ts\right)\rIgHt|\,\tExt{d}S.
    \ENd{aliGned}$$ iNtEgrating By partS
 the first part of Theorem  \[thm:Var MainG ene ral iz ed\]  (th at yields thef irst  part of Theorem \[thm :VarM ai n \]): 
A ssume  that $ n\ i n  S_ 2$sat is f ie s the  hy pothesi s $ \mathc al{ D} (n,\epsilon/ 2 )$. We mayrew rite (\[eq:V arF ormula 2d \]) as $$ \ma thcal {V}\le f t(X_{f _{n},r}\r ig h t)=8\p i ^{2}r^{ 4 } \i nt_{ 0}^{2}h_{2}\left( T s\ r ight)\,\text{d }F\lef t( s \r i g ht) .\l abel{eq:Va ri ancei n tegralF o rm } $ $  We apply integra tion by par t s t o (\[e q: Var i ancein tegra lF o rm\ ]) twice, i n op posite di rectio n s: firs t , by in tegrat ion  by  par t san d P ro p osi t io n \ [ pro p:Discre te Pr op\],  weg e t $$\b egi n{al igned }
    8\pi^{2 }r^ {4}\ i nt_ {0}^{ 2}h_{ 2}\l ef t(Ts\ right) \,\te xt {d}F\left(s\rig ht)& =8\pi^{ 2}r ^{ 4}h _{ 2}\le f t(2T\r igh t)F \left(2 \right) - 8\p i^ { 2 } r^ {4}\int_{0}^{2}F\l ef t ( s\ right)\, \text{ d }h _{ 2 }\left(T s\ rig ht)\ l a bel{e q:Va r Eq AfterInt ByPart s }\ \    & = 8\ pi^{2} r^ {4} h_{ 2}\le f t(2T \right )F\left( 2\rig h t)-8\pi r^{4}\ c os^{-2}\theta \ in t _ {0 } ^{2} s\, \text{d}h_{ 2}\l e ft(T s\ri g ht )\n o numbe r \\  & +Err\left(X_{f_n,r} \r ight)\ nonum ber
    \end{ aligned}$$ w h ere $$\b egin { al i gned}
    & Er r\lef t(X_{f_n,r } \right)\ ll r^ {4}\cos^ {-2}\thet a \ int_{0}^ {2} \le ft( s^{ 3 } +\ Delta\left(n\ r i ght) +\ widetil de{ V}(\und erl ine {v} ) s ^{ 2}+\widet ilde{V}( \u nd er li ne{ v})\D e lta\left (n \ri gh t)^ {2}\r i ght)T\ left| h_{2 }' \l e ft( Ts\righ t )\ r i ght| \, \t ext{ d}s .    \ end{ a lig ned}$$Integrati ngb y pa rt s
 the_first part_of Theorem \[thm:VarMainGeneralized\] (that_yields the_first_part of_Theorem_\[thm:VarMain\]):

Assume that $_n\in S_2 $_satisfies the hypothesis $_\mathcal{D}(n,\epsilon/2) $. We_may_rewrite (\[eq:VarFormula2d\]) as $$\mathcal{V}\left(X_{f_{n},r}\right)=8\pi^{2}r^{4}\int_{0}^{2}h_{2}\left(Ts\right)\,\text{d}F\left(s\right).\label{eq:VarianceintegralForm}$$ We apply integration by parts to (\[eq:VarianceintegralForm\]) twice, in opposite_directions:_first, by_integration_by_parts and Proposition \[prop:DiscreteProp\], we_get $$\begin{aligned}
   _8\pi^{2}r^{4}\int_{0}^{2}h_{2}\left(Ts\right)\,\text{d}F\left(s\right) &_=8\pi^{2}r^{4}h_{2}\left(2T\right)F\left(2\right)-8\pi^{2}r^{4}\int_{0}^{2}F\left(s\right)\,\text{d}h_{2}\left(Ts\right)\label{eq:VarEqAfterIntByParts}\\
    & =8\pi^{2}r^{4}h_{2}\left(2T\right)F\left(2\right)-8\pi r^{4}\cos^{-2}\theta\int_{0}^{2}s\,\text{d}h_{2}\left(Ts\right)\nonumber \\
__  &_+Err\left(X_{f_n,r}\right)\nonumber
    \end{aligned}$$ where $$\begin{aligned}
  _ & Err\left(X_{f_n,r}\right)\ll r^{4}\cos^{-2}\theta\int_{0}^{2}\left(s^{3}+\Delta\left(n\right)+\widetilde{V}(\underline{v}) s^{2}+\widetilde{V}(\underline{v})\Delta\left(n\right)^{2}\right)T\left|h_{2}'\left(Ts\right)\right|\,\text{d}s.
 _  \end{aligned}$$_Integrating_by_parts