^{\infty}(M) \}$ is always bounded from below. Hence, we can consider the following conformal invariant $$Y(M, [g]) := \inf_{\widetilde{g} \in [g]}I(\widetilde{g}),$$ which is called the [*Yamabe constant*]{} of $(M, [g])$. A remarkable theorem of H.Yamabe, N.Trudinger, T.Aubin and R.Schoen asserts that each conformal class $[g]$ contains metrics $\check{g}$, called [*Yambe metrics*]{}, which realize the minimum (cf.[@LP], [@Sc-1]) $$Y(M, [g]) = I(\check{g}).$$ These metrics must have constant scalar curvature $$R_{\check{g}} = Y(M, [g])\cdot V_{\check{g}}^{-2/n},$$ where $V_{\check{g}} = {\rm Vol}(M, \check{g})$. Aubin proved that $$Y(M^n, C) \leq Y(S^n, [g_{\mathbb{S}}]) = n(n-1) V_{g_{\mathbb{S}}}^{2/n}$$ for any conformal class $C$ on $M$. Obata’s Theorem[@Obata] implies that [*any Einstein metric is a Yamabe metric*]{}. When $n = 4$, $$Y(M^4, [g]) = R_{\widehat{g}} \sqrt{V_{\widehat{g}}} \leq Y(S^4, [g_{\mathbb{S}}]) = 8\sqrt{6}\pi$$ for any Einstein metric $\widehat{g} \in [g]$.

Assuming Proposition1.4, we can now prove Theorem\[MainThm1\].

Suppose that there exists a sequence $\{g_i\}$ of unit-volume Einstein metrics on $S^4$ satisfying $$Y(S^4, [g_i]) = R_{g_i} < 8\sqrt{2}\pi\ \ ({\rm for}\ \ \forall i),\quad Y(S^4, [g_i]) = R_{g_i} \nearrow 8\sqrt{2}\pi\ \ ({\rm as}\ \ i \to \infty).$$ By Proposition1.4, there exists a subsequence $\{j\} \subset \{i\}$, a sequence $\{\phi_j\} \subset {\rm Diff}(S^4)$ and a
^{\infty}(M) \}$ is always bounded from below. Hence, we can think the take after conformal invariant $ $ Y(M, [ g ]): = \inf_{\widetilde{g } \in [ g]}I(\widetilde{g}),$$ which is called the [ * Yamabe constant * ] { } of $ (M, [ g])$. A noteworthy theorem of H.Yamabe, N.Trudinger, T.Aubin and R.Schoen asserts that each conformal class $ [ g]$ contains prosody $ \check{g}$, called [ * Yambe metrics * ] { }, which recognize the minimum (cf.[@LP ], [ @Sc-1 ]) $ $ Y(M, [ g ]) = I(\check{g}).$$ These metrics must have ceaseless scalar curvature $ $ R_{\check{g } } = Y(M, [ g])\cdot V_{\check{g}}^{-2 / n},$$ where $ V_{\check{g } } = { \rm Vol}(M, \check{g})$. Aubin proved that $ $ Y(M^n, C) \leq Y(S^n, [ g_{\mathbb{S } } ]) = n(n-1) V_{g_{\mathbb{S}}}^{2 / n}$$ for any conformal class $ C$ on $ M$. Obata ’s Theorem[@Obata ] entail that [ * any Einstein metric is a Yamabe metric * ] { }. When $ n = 4 $, $ $ Y(M^4, [ g ]) = R_{\widehat{g } } \sqrt{V_{\widehat{g } } } \leq Y(S^4, [ g_{\mathbb{S } } ]) = 8\sqrt{6}\pi$$ for any Einstein metric $ \widehat{g } \in [ g]$. 

 Assuming Proposition1.4, we can now testify Theorem\[MainThm1\ ]. 

 Suppose that there exists a sequence $ \{g_i\}$ of whole - volume Einstein metrics on $ S^4 $ satisfying $ $ Y(S^4, [ g_i ]) = R_{g_i } < 8\sqrt{2}\pi\ \ ({ \rm for}\ \ \forall i),\quad Y(S^4, [ g_i ]) = R_{g_i } \nearrow 8\sqrt{2}\pi\ \ ({ \rm as}\ \ i \to \infty).$$ By Proposition1.4, there exists a sequel $ \{j\ } \subset \{i\}$, a sequence $ \{\phi_j\ } \subset { \rm Diff}(S^4)$ and a
^{\infhy}(M) \}$ is always bounded fvom below. Hence, cw can ronsided the foulowing conformal invariant $$B(M, [g]) := \inf_{\qidetilde{g} \in [g]}I(\widetiude{g}),$$ whicj is caloed uhe [*Yamabe constaif*]{} of $(M, [n])$. A rslarkcboe theorem of M.Yamabe, N.Trgdinger, T.Aubin avd R.Schoen asserts that each conformaj class $[g]$ contains metrycs $\bhqck{g}$, baoled [*Yambe metrics*]{}, which realjze the minimum (cf.[@LP], [@Sc-1]) $$Y(M, [g]) = I(\check{g}).$$ These mehricd must have constajt scalar codvaeyre $$R_{\check{g}} = Y(M, [g])\cdot N_{\eheck{g}}^{-2/n},$$ whete $V_{\check{g}} = {\rm Vol}(M, \check{g})$. Aubin provzd that $$Y(M^n, C) \lee Y(S^n, [g_{\mathbu{S}}]) = n(n-1) V_{g_{\mathbb{S}}}^{2/n}$$ npr any conforkal class $C$ on $M$. Mbara’s Theorem[@Obata] implmes that [*any Einsteig metric hs a Yamabe metric*]{}. Qhwn $n = 4$, $$Y(M^4, [g]) = F_{\qiddhau{g}} \xqdt{V_{\widfhav{g}}} \leq Y(S^4, [g_{\jathbb{S}}]) = 8\sqet{6}\pi$$ for any Einsteon netric $\widehaf{g} \in [d]$.

Afsuming Proposition1.4, we can now prove Thtorem\[JainThm1\].

Suppose that theee exists a sequence $\{h_i\}$ of unie-volume Einstein metrics on $S^4$ satisfying $$Y(S^4, [g_i]) = R_{c_i} < 8\ssft{2}\pn\ \ ({\rm wir}\ \ \forall i),\quad Y(S^4, [g_i]) = R_{g_i} \nearrow 8\sqrt{2}\pi\ \ ({\rm wa}\ \ i \to \infty).$$ By Pvoposition1.4, there ecidtx a subsequencg $\{j\} \subset \{i\}$, a sequence $\{\phi_j\} \subset {\rm Duff}(S^4)$ and w
^{\infty}(M) \}$ is always bounded from below. can the following invariant $$Y(M, [g]) is the [*Yamabe constant*]{} $(M, [g])$. A theorem of H.Yamabe, N.Trudinger, T.Aubin and asserts that each conformal class $[g]$ contains metrics $\check{g}$, called [*Yambe metrics*]{}, which the minimum (cf.[@LP], [@Sc-1]) $$Y(M, [g]) = I(\check{g}).$$ These metrics must have constant curvature = [g])\cdot where $V_{\check{g}} = {\rm Vol}(M, \check{g})$. Aubin proved that $$Y(M^n, C) \leq Y(S^n, [g_{\mathbb{S}}]) = n(n-1) for any conformal class $C$ on $M$. Obata’s implies that [*any Einstein is a Yamabe metric*]{}. When = $$Y(M^4, [g]) R_{\widehat{g}} \leq [g_{\mathbb{S}}]) = 8\sqrt{6}\pi$$ any Einstein metric $\widehat{g} \in [g]$. Assuming Proposition1.4, we can now prove Theorem\[MainThm1\]. Suppose that there exists sequence $\{g_i\}$ Einstein metrics $S^4$ $$Y(S^4, = R_{g_i} < ({\rm for}\ \ \forall i),\quad Y(S^4, \nearrow 8\sqrt{2}\pi\ \ ({\rm as}\ \ i \to By Proposition1.4, exists a subsequence $\{j\} \subset \{i\}$, sequence $\{\phi_j\} \subset {\rm Diff}(S^4)$ and a
^{\infty}(M) \}$ is always bounded from Below. Hence, We can ConSidEr The fOlloWing conformal iNVariAnt $$Y(M, [g]) := \inf_{\widetilde{g} \in [g]}i(\wideTiLDe{g}),$$ wHIcH is caLled the [*yAmABE coNsTaNt*]{} oF $(M, [G])$. a rEmarkAblE theoreM of H.Yamabe, n.TrUdInger, T.Aubin aND R.schoen asseRts That each confOrmAl clasS $[g]$ ConTAins mEtrIcs $\chEck{g}$, caLLed [*YamBe metrics*]{}, WhICh realIZe the miNIMuM (cf.[@Lp], [@Sc-1]) $$Y(M, [g]) = I(\check{g}).$$ ThesE MeTRics must have coNstant ScALaR CUrvAtuRe $$R_{\check{g}} = Y(m, [g])\Cdot V_{\CHeck{g}}^{-2/n},$$ wHErE $v_{\CHecK{G}} = {\rm Vol}(M, \check{g})$. aubin proved THat $$y(M^n, C) \leQ Y(s^n, [g_{\MAthbb{S}}]) = N(n-1) V_{g_{\mAtHBb{S}}}^{2/N}$$ for any confOrmaL class $C$ on $m$. Obata’S theorem[@oBata] impLies thAt [*aNy EInstEIn MeTriC iS A YaMAbE meTRic*]{}. when $n = 4$, $$Y(M^4, [g]) = r_{\wIdEhat{g}} \Sqrt{v_{\WIDEhat{G}}} \leQ Y(S^4, [g_{\MathbB{S}}]) = 8\sqrt{6}\pi$$ for anY EiNsteIN meTric $\wIdehaT{g} \in [G]$.

ASsumiNg PropOsitiOn1.4, We can now prove ThEoreM\[MainThm1\].

SUppOsE thAt There EXists a SeqUenCe $\{g_i\}$ of uNit-voluME EiNsTEIN mEtrics on $S^4$ satisfyinG $$Y(s^4, [G_I]) = R_{G_i} < 8\sqrt{2}\pi\ \ ({\Rm for}\ \ \fORaLl I),\Quad Y(S^4, [g_i]) = r_{g_I} \neArroW 8\SQrt{2}\pi\ \ ({\Rm as}\ \ I \To \Infty).$$ By PRoposiTIoN1.4, tHere exiStS a subsEqUenCe $\{j\} \SubseT \{I\}$, a seQuence $\{\Phi_j\} \subsEt {\rm DIFf}(S^4)$ and a
^{\infty}(M) \}$ is always  bounded f rom b elo w.He nce,  wecan consider t h e fo llowing conformal inva riant  $ $ Y(M, [g ]) :=  \inf_{ \ wi d e til de {g } \ in [g ]}I(\ wid etilde{ g}),$$ whi chis  called the[ *Y amabe cons tan t*]{} of $(M , [ g])$.Arem a rkabl e t heore m of H . Yamabe , N.Trudi ng e r, T.A u bin and R .S choe n asserts that ea c hc onformal class  $[g]$  c o nt a i nsmet rics $\che ck {g}$, called[ *Y a m b e m e trics*]{}, wh ich realize the  minim um  (c f .[@LP] , [@S c- 1 ])$$Y(M, [g])  = I (\check{g }).$$T hese me t rics mu st hav e c ons tant sc al arcu r vat u re  $$ R _{\ check{g} }=Y(M,[g]) \ c d o t V_ {\c heck {g}}^ {-2/n},$$ whe re$V_{ \ che ck{g} } = { \rmVo l}(M,  \chec k{g}) $.  Aubin proved t hat$$Y(M^n,C)\l eqY( S^n,[ g_{\ma thb b{S }}]) =n(n-1)V _{g _{ \ m a th bb{S}}}^{2/n}$$ fo ra n yconforma l clas s  $ C$ on $M$.Ob ata ’s T h e orem[ @Oba t a]  implies  that[ *a ny  Einste in  metri cisa Y amabe metr ic*]{} . When $ n = 4 $ , $$Y(M^4, [g] )  = R_{\wideha t {g } }  \ s qrt{ V_{ \widehat{g} }} \ l eq Y (S^4 ,  [ g_{ \ mathb b{S}} ]) =8 \sqrt{6}\pi$$ for a ny  Einst ein m etric $\wideh at{g} \in[ g ] $.

Assu ming Pr o position1.4, w e can  now prove Theorem\ [Main Thm1\].
Supposet h at there  ex ist s a  se q u en ce $\{g_i\}$o f  uni t- volumeEin stein m etr ics  on  $S ^4 $ satisfy ing $$Y( S^ 4,  [ g_ i])  = R_ { g_i} < 8 \s qrt {2 }\p i\ \( {\rm f or}\\ \f or al l  i) ,\quadY (S ^ 4 , [g _i ])  = R _{g _i } \ne arro w  8\ sqrt{2} \pi\ \ ({ \rm as}\  \  i  \to \i nfty).$$ By P ro position1. 4,  th ere ex i s ts a sub sequence $\{j\} \subset \{i\}$,  aseque nce$\{\phi_j \}\subse t { \ rm Dif f}(S^4 )$ an da
^{\infty}(M) \}$_is always_bounded from below. Hence,_we can_consider_the following_conformal_invariant $$Y(M, [g])_:= \inf_{\widetilde{g} \in_[g]}I(\widetilde{g}),$$ which is called_the [*Yamabe constant*]{}_of_$(M, [g])$. A remarkable theorem of H.Yamabe, N.Trudinger, T.Aubin and R.Schoen asserts that each_conformal_class $[g]$_contains_metrics_$\check{g}$, called [*Yambe metrics*]{}, which_realize the minimum (cf.[@LP], [@Sc-1])_$$Y(M, [g])_= I(\check{g}).$$ These metrics must have constant scalar_curvature_$$R_{\check{g}} = Y(M,_[g])\cdot V_{\check{g}}^{-2/n},$$ where $V_{\check{g}} = {\rm Vol}(M, \check{g})$. Aubin_proved that $$Y(M^n, C) \leq Y(S^n,_[g_{\mathbb{S}}]) = n(n-1)_V_{g_{\mathbb{S}}}^{2/n}$$_for_any conformal class $C$_on $M$. Obata’s Theorem[@Obata] implies that_[*any Einstein metric is a Yamabe_metric*]{}. When $n = 4$, $$Y(M^4, [g])_= R_{\widehat{g}} \sqrt{V_{\widehat{g}}} \leq Y(S^4, [g_{\mathbb{S}}])_= 8\sqrt{6}\pi$$ for any Einstein_metric $\widehat{g}_\in [g]$.

Assuming Proposition1.4, we can_now prove Theorem\[MainThm1\].

Suppose_that there_exists a sequence_$\{g_i\}$ of unit-volume Einstein metrics on_$S^4$ satisfying $$Y(S^4,_[g_i]) = R_{g_i} < 8\sqrt{2}\pi\ \_({\rm_for}\ \ \forall_i),\quad_Y(S^4,_[g_i]) =_R_{g_i} \nearrow 8\sqrt{2}\pi\_\_({\rm as}\_\_i \to \infty).$$ By Proposition1.4, there_exists_a subsequence $\{j\} \subset \{i\}$, a sequence_$\{\phi_j\} \subset {\rm Diff}(S^4)$_and_a