 unit-volume positive Einstein metric $g_{\infty}$ on $S^4$ such that $\phi_j^*g_j$ converges to $g_{\infty}$ with respect to the $C^{\infty}$-topology on $S^4$. Then, we get $$\label{lll}
Y(S^4, [g_{\infty}]) = R_{g_{\infty}} = 8\sqrt{2}\pi.$$

On the other hand, Theorem\[Gursky\] implies that $(S^4, g_{\infty})$ is isometric to $(S^4, g_{\mathbb{S}})$. Hence, $$Y(S^4, [g_{\infty}]) = Y(S^4, [g_{\mathbb{S}}]) = 8\sqrt{6}\pi.$$ This contradicts (\[lll\]). Therefore, there exists a positive constant $\varepsilon_0 > 0$ such that any unit-volume positive Einstein metric $g$ on $S^4$ satisfying $$Y(S^4, [g]) > 8\sqrt{2}\pi - \varepsilon_0$$ is isometric to $g_{\mathbb{S}}$.

By the result of N. Koiso[@Koiso-2 Theorem3.1] and [@Besse Corollary12.52] (cf.[@Ebin Theorem7.1], [@Koiso-1 Theorem2.2]), we first remark that, for each $g \in \mathcal{E}_{\geq c}(S^4)$, the premoduli space $\mathcal{E}_{\geq c}(S^4)$ around $g$ is a real analytic subset of a finite dimensional real analytic submanifold in $\mathcal{M}_1(S^4) := \{ g \in \mathcal{M}(S^4)\ |\ V_g = 1 \}$, and the moduli space $\mathcal{E}_{\geq c}(S^4)/{\rm Diff}(S^4)$ is arcwise connected. Moreover, the Yamabe constant $Y(S^4, [\bullet])$ is a locally constant function and and it takes (at most) countably many values on $\mathcal{E}_{\geq c}(S^4)/{\rm Diff}(S^4)$.

Suppose that there exist infinitely many connected components of the moduli space $\mathcal{E}_{\geq c}(S^4)/{\rm Diff}(S^4)$ (see [@Besse Chapters4
unit - volume positive Einstein metric $ g_{\infty}$ on $ S^4 $ such that $ \phi_j^*g_j$ converges to $ g_{\infty}$ with obedience to the $ C^{\infty}$-topology on $ S^4$. Then, we make $ $ \label{lll } 
 Y(S^4, [ g_{\infty } ]) = R_{g_{\infty } } = 8\sqrt{2}\pi.$$ 

 On the other hand, Theorem\[Gursky\ ] implies that $ (S^4, g_{\infty})$ is isometric to $ (S^4, g_{\mathbb{S}})$. therefore, $ $ Y(S^4, [ g_{\infty } ]) = Y(S^4, [ g_{\mathbb{S } } ]) = 8\sqrt{6}\pi.$$ This contradicts (\[lll\ ]). Therefore, there exists a cocksure constant $ \varepsilon_0 > 0 $ such that any unit - bulk positive Einstein metric $ g$ on $ S^4 $ meet $ $ Y(S^4, [ g ]) > 8\sqrt{2}\pi - \varepsilon_0$$ is isometric to $ g_{\mathbb{S}}$. 

 By the result of N. Koiso[@Koiso-2 Theorem3.1 ] and [ @Besse Corollary12.52 ] (cf.[@Ebin Theorem7.1 ], [ @Koiso-1 Theorem2.2 ]), we first note that, for each $ g \in \mathcal{E}_{\geq c}(S^4)$, the premoduli space $ \mathcal{E}_{\geq c}(S^4)$ around $ g$ is a real analytic subset of a finite dimensional real analytic submanifold in $ \mathcal{M}_1(S^4): = \ { g \in \mathcal{M}(S^4)\ |\ V_g = 1 \}$, and the moduli space $ \mathcal{E}_{\geq c}(S^4)/{\rm Diff}(S^4)$ is arcwise get in touch. Moreover, the Yamabe constant $ Y(S^4, [ \bullet])$ is a locally constant function and and it take (at most) countably many values on $ \mathcal{E}_{\geq c}(S^4)/{\rm Diff}(S^4)$. 

 Suppose that there exist infinitely many affiliated components of the moduli space $ \mathcal{E}_{\geq c}(S^4)/{\rm Diff}(S^4)$ (see [ @Besse Chapters4
 unlt-volume positive Einsteln metric $g_{\infty}$ on $S^4$ snch thaf $\phi_j^*g_j$ converges to $g_{\infty}$ with redpwct ti the $C^{\infty}$-topology ov $S^4$. Then, ae get $$\lqbel{ool}
Y(S^4, [g_{\inftb}]) = R_{g_{\infbv}} = 8\sqdb{2}\pi.$$

On vhe other hand, Jheorem\[Gurskf\] implies that $(S^4, g_{\nnfty})$ is isometric to $(S^4, g_{\mathbb{S}})$. Hense, $$Y(S^4, [g_{\onvty}]) = Y(S^4, [g_{\mathbf{S}}]) = 8\xzrt{6}\pj.$$ This contradicts (\[lll\]). Therefore, tgere expsts a positive cpnstant $\varepsilon_0 > 0$ such hhat any unit-volume poditive Einsjsin netric $g$ on $R^4$ satisfying $$Y(S^4, [g]) > 8\sqrj{2}\pi - \varepsilon_0$$ is isometric to $e_{\mathyb{S}}$.

By the rgshlh of N. Koiso[@Joiso-2 Theorem3.1] and [@Besse Cmrollaru12.52] (cf.[@Ebin Theorcm7.1], [@Komso-1 Rheorem2.2]), we first remack that, for each $g \ig \mathcal{A}_{\gzq c}(S^4)$, the premoduli spaxe $\majhcal{A}_{\geq x}(S^4)$ xrohnv $g$ is a geam analytic subset of q finite dimensionak wvsl analytic aubmanyfjld in $\mathcal{M}_1(S^4) := \{ g \in \mathcal{M}(S^4)\ |\ V_g = 1 \}$, ahd the moduli space $\matycal{E}_{\geq c}(S^4)/{\rm Diff}(S^4)$ id arcwise connected. Moreover, the Yamabe constant $Y(S^4, [\bullet])$ is a uoccoly cubshant function and and it takes (at most) countafmy msny values on $\iathcal{E}_{\geq c}(D^4)/{\rk Diff}(S^4)$.

Suppose that cgede exist infinitelj many sonnexted compjnenys of the moduli space $\mathxal{E}_{\geq c}(S^4)/{\rm Eiff}(S^4)$ (see [@Besse Chcpters4
unit-volume positive Einstein metric $g_{\infty}$ on $S^4$ $\phi_j^*g_j$ to $g_{\infty}$ respect to the get Y(S^4, [g_{\infty}]) = = 8\sqrt{2}\pi.$$ On other hand, Theorem\[Gursky\] implies that $(S^4, is isometric to $(S^4, g_{\mathbb{S}})$. Hence, $$Y(S^4, [g_{\infty}]) = Y(S^4, [g_{\mathbb{S}}]) = 8\sqrt{6}\pi.$$ contradicts (\[lll\]). Therefore, there exists a positive constant $\varepsilon_0 > 0$ such that unit-volume Einstein $g$ $S^4$ satisfying $$Y(S^4, [g]) > 8\sqrt{2}\pi - \varepsilon_0$$ is isometric to $g_{\mathbb{S}}$. By the result of Koiso[@Koiso-2 Theorem3.1] and [@Besse Corollary12.52] (cf.[@Ebin Theorem7.1], [@Koiso-1 we first remark that, each $g \in \mathcal{E}_{\geq c}(S^4)$, premoduli $\mathcal{E}_{\geq c}(S^4)$ $g$ a analytic subset of finite dimensional real analytic submanifold in $\mathcal{M}_1(S^4) := \{ g \in \mathcal{M}(S^4)\ |\ V_g = 1 \}$, the moduli c}(S^4)/{\rm Diff}(S^4)$ arcwise Moreover, Yamabe constant $Y(S^4, a locally constant function and and most) countably many values on $\mathcal{E}_{\geq c}(S^4)/{\rm Diff}(S^4)$. that there infinitely many connected components of the space $\mathcal{E}_{\geq c}(S^4)/{\rm Diff}(S^4)$ (see [@Besse Chapters4
 unit-volume positive EinsteiN metric $g_{\inFty}$ on $s^4$ suCh tHaT $\phi_J^*g_j$ cOnverges to $g_{\infTY}$ witH respect to the $C^{\infty}$-topOlogy On $s^4$. then, WE gEt $$\labEl{lll}
Y(S^4, [G_{\InFTY}]) = R_{g_{\InFtY}} = 8\sqRt{2}\PI.$$

ON the oTheR hand, ThEorem\[GurskY\] imPlIes that $(S^4, g_{\infTY})$ iS isometric To $(S^4, G_{\mathbb{S}})$. HencE, $$Y(S^4, [G_{\infty}]) = y(S^4, [G_{\maTHbb{S}}]) = 8\sQrt{6}\Pi.$$ ThiS contrADicts (\[lLl\]). TherefoRe, THere exISts a posITIvE conStant $\varepsilon_0 > 0$ suCH tHAt any unit-volumE positIvE eiNSTeiN meTric $g$ on $S^4$ saTiSfyinG $$y(S^4, [g]) > 8\sqrt{2}\PI - \vAREPsiLOn_0$$ is isometric To $g_{\mathbb{S}}$.

BY The Result Of n. KoISo[@KoisO-2 TheoReM3.1] And [@besse CorollAry12.52] (cF.[@Ebin TheoRem7.1], [@KoiSO-1 TheoreM2.2]), We first Remark ThaT, foR eacH $G \iN \mAthCaL{e}_{\geQ C}(S^4)$, The PRemOduli spaCe $\MaThcal{e}_{\geq C}(s^4)$ AROund $G$ is A reaL analYtic subset of a FinIte dIMenSionaL real AnalYtIc subManifoLd in $\mAtHcal{M}_1(S^4) := \{ g \in \mathcaL{M}(S^4)\ |\ V_G = 1 \}$, and the moDulI sPacE $\mAthcaL{e}_{\geq c}(S^4)/{\Rm DIff}(s^4)$ is arcwIse connECteD. MOREOvEr, the Yamabe constanT $Y(s^4, [\BUlLet])$ is a loCally cONsTaNT functioN aNd aNd it TAKes (at Most) COuNtably maNy valuES oN $\mAthcal{E}_{\GeQ c}(S^4)/{\rm DIfF}(S^4)$.

SUppOse thAT theRe exisT infinitEly maNY connected compONents of the modULi SPAcE $\MathCal{e}_{\geq c}(S^4)/{\rm DifF}(S^4)$ (seE [@bessE ChaPTeRs4
 unit-volume positive Eins tein metri c $g_ {\i nft y} $ on  $S^ 4$ such that $ \ phi_ j^*g_j$ converges to $ g_{\i nf t y}$w it h res pect to th e $C^ {\ in fty }$ - to polog y o n $S^4$ . Then, we  ge t$$\label{lll } 
Y (S^4, [g_{ \in fty}]) = R_{ g_{ \infty }}  =8 \sqrt {2} \pi.$ $

Ont he oth er hand,Th e orem\[ G ursky\] i mp lies  that $(S^4, g_{\ i nf t y})$ is isomet ric to  $ ( S^ 4 ,  g_ {\m athbb{S}}) $.  Henc e , $$Y(S ^ 4, [ g _{\ i nfty}]) = Y(S ^4, [g_{\ma t hbb {S}}])  =  8\ s qrt{6} \pi.$ $T his  contradict s (\ [lll\]).Theref o re, the r e exist s a po sit ive  con s ta nt  $\ va r eps i lo n_0 > 0 $ such t ha tany u nit- v o l u me p osi tive  Eins tein metric $ g$on $ S ^4$  sati sfyin g $$ Y( S^4,[g]) >  8\sq rt {2}\pi - \varep silo n_0$$ isiso me tri cto $g _ {\math bb{ S}} $.

Bythe res u ltof N .  K oiso[@Koiso-2 Theo re m 3 .1 ] and [@ BesseC or ol l ary12.52 ](cf .[@E b i n The orem 7 .1 ], [@Koi so-1 T h eo re m2.2]),  w e firs trem ark  that ,  for  each$g \in \ mathc a l{E}_{\geq c}( S ^4)$, the pre m od u l is pace  $\ mathcal{E}_ {\ge q  c}( S^4) $  a rou n d $g$  is a  r e al analytic subset ofafinite  dime nsional realanalytic s u b m anifoldin $ \ ma t hcal{M}_1(S^4)  := \ { g \in \m a thcal{M} (S^4) \ |\ V_g  = 1 \}$, a nd the m odu lispa ce$ \ ma thcal{E}_{\ge q c}(S ^4 )/{\rmDif f}(S^4) $ i s a rcw ise  c onnected.  Moreove r,  t he  Y ama be co n stant $Y (S ^4,  [ \bu llet] ) $ is a  loca llyco ns t ant  functi o na n d an dit  tak es(a t mos t) c o unt ably ma ny values  on $\ma th ca l{E}_{\ geq c}(S^4)/{ \r m Diff}(S^ 4) $.
Suppo s e  that th ere exist infinitely ma n y conne cte d com pone nts of th e m odulispa c e $\ma thcal{ E}_{\ ge q c } ( S^4)/ { \ rm  Di ff }(S^4)$ (s e e  [@ Besse  C hapt ers4
 unit-volume_positive Einstein_metric $g_{\infty}$ on $S^4$_such that_$\phi_j^*g_j$_converges to_$g_{\infty}$_with respect to_the $C^{\infty}$-topology on_$S^4$. Then, we get_$$\label{lll}
Y(S^4, [g_{\infty}]) =_R_{g_{\infty}}_= 8\sqrt{2}\pi.$$

On the other hand, Theorem\[Gursky\] implies that $(S^4, g_{\infty})$ is isometric to $(S^4,_g_{\mathbb{S}})$._Hence, $$Y(S^4,_[g_{\infty}])_=_Y(S^4, [g_{\mathbb{S}}]) = 8\sqrt{6}\pi.$$ This_contradicts (\[lll\]). Therefore, there exists_a positive_constant $\varepsilon_0 > 0$ such that any unit-volume_positive_Einstein metric $g$_on $S^4$ satisfying $$Y(S^4, [g]) > 8\sqrt{2}\pi - \varepsilon_0$$_is isometric to $g_{\mathbb{S}}$.

By the result_of N. Koiso[@Koiso-2_Theorem3.1]_and_[@Besse Corollary12.52] (cf.[@Ebin Theorem7.1],_[@Koiso-1 Theorem2.2]), we first remark that,_for each $g \in \mathcal{E}_{\geq c}(S^4)$,_the premoduli space $\mathcal{E}_{\geq c}(S^4)$ around $g$_is a real analytic subset of_a finite dimensional real analytic_submanifold in_$\mathcal{M}_1(S^4) := \{ g \in_\mathcal{M}(S^4)\ |\ V_g_= 1_\}$, and the_moduli space $\mathcal{E}_{\geq c}(S^4)/{\rm Diff}(S^4)$ is_arcwise connected. Moreover,_the Yamabe constant $Y(S^4, [\bullet])$ is_a_locally constant function_and_and_it takes_(at most) countably_many_values on_$\mathcal{E}_{\geq_c}(S^4)/{\rm Diff}(S^4)$.

Suppose that there exist infinitely_many_connected components of the moduli space $\mathcal{E}_{\geq_c}(S^4)/{\rm Diff}(S^4)$ (see [@Besse_Chapters4