)[U] \nrightarrow(K_{\frac{r+1}{2}}, K_{r})) \lor \\
 & \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,(\exists \, U \subseteq V :|U| \geq n^{1-\varepsilon} \land G(n,p)[U] \nrightarrow(K_{\frac{r-1}{2}}, K_{r}) )) \\
  & \leq  \sum_{U \subseteq V: |U|\geq \alpha n} \Pr (G_(n,p)[U] \nrightarrow(K_{\frac{r+1}{2}}, K_{r}))+\\
  & \,\,\,\,\,\,\, \sum_{U \subseteq V: |U|\geq n^{1-\varepsilon}} \Pr (G(n,p)[U] \nrightarrow(K_{\frac{r-1}{2}}, K_{r})) \\
   & \mathrel{\overset{\makebox[0pt]{\mbox{\normalfont\tiny\sffamily {\eqref{forfinalblock1},\eqref{forfinalblock2}}}}}{\leq}}   \sum_{U \subseteq V: |U|\geq \alpha n} 2^{-b_1(\alpha n)^r p^{{ r \choose 2}}}+\sum_{U \subseteq V: |U|\geq n^{1-\varepsilon}} 2^{-b\left(n^{1-\varepsilon}\right)^{r} p^{ {r \choose 2}}}\\
  & \leq  2^{n-b_1 C^{{r \choose 2}}\alpha^{r}n^{\frac{5}{4}}}+ 2^{n-bC^{r \choose 2} n^{\frac{5}{4}}}, \end{aligned}$$ where the last inequality follows from Lemma \[Calc\]\[calcodd\], which is applicable due to $\varepsilon \leq \frac{1}{4r}$. This proves the theorem because the last term goes to $0$ as $n$ approaches infinity.

Brief discussion of $\boldsymbol{r\leq 4}$ and the proof of Theorem \[K4thm\]
-----------------------------------------------------------------------------

Considerations are of a different nature for the clique sizes ${r=3}$ and $r=4$. In these cases ${G\shortrightarrow (K_{\ceil{\frac{r}{2}}},K_r})$ comes down to containing a copy of $K
) [ U ] \nrightarrow(K_{\frac{r+1}{2 } }, K_{r }) ) \lor \\ 
  & \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,(\exists \, U \subseteq V: |U| \geq n^{1-\varepsilon } \land G(n, p)[U ] \nrightarrow(K_{\frac{r-1}{2 } }, K_{r }) )) \\ 
   & \leq   \sum_{U \subseteq V: |U|\geq \alpha n } \Pr (G_(n, p)[U ] \nrightarrow(K_{\frac{r+1}{2 } }, K_{r}))+\\ 
   & \,\,\,\,\,\,\, \sum_{U \subseteq V: |U|\geq n^{1-\varepsilon } } \Pr (G(n, p)[U ] \nrightarrow(K_{\frac{r-1}{2 } }, K_{r }) ) \\ 
    & \mathrel{\overset{\makebox[0pt]{\mbox{\normalfont\tiny\sffamily { \eqref{forfinalblock1},\eqref{forfinalblock2}}}}}{\leq } }    \sum_{U \subseteq V: |U|\geq \alpha n } 2^{-b_1(\alpha n)^r p^ { { radius \choose 2}}}+\sum_{U \subseteq five: |U|\geq n^{1-\varepsilon } } 2^{-b\left(n^{1-\varepsilon}\right)^{r } p^ { { r \choose 2}}}\\ 
   & \leq   2^{n - b_1 C^{{r \choose 2}}\alpha^{r}n^{\frac{5}{4}}}+ 2^{n - bC^{r \choose 2 } n^{\frac{5}{4 } } }, \end{aligned}$$ where the last inequality follows from Lemma \[Calc\]\[calcodd\ ], which is applicable due to $ \varepsilon \leq \frac{1}{4r}$. This prove the theorem because the last term go to $ 0 $ equally   $ n$ approaches infinity. 

 Brief discussion of $ \boldsymbol{r\leq 4}$ and the proof of Theorem \[K4thm\ ] 
 ----------------------------------------------------------------------------- 

 Considerations are of a unlike nature for the clique sizes $ { r=3}$ and $ r=4$. In these cases $ { G\shortrightarrow (K_{\ceil{\frac{r}{2}}},K_r})$ comes down to containing a transcript of $ K
)[U] \ngightarrow(K_{\frac{r+1}{2}}, K_{r})) \lor \\
 & \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,(\exists \, U \subseteq V :|U| \geq n^{1-\varepsklon} \land G(n,p)[U] \nrightarrow(K_{\fcac{r-1}{2}}, K_{r}) )) \\
  & \leq  \sum_{U \subseteq X: |U|\geq \aliha n} \Pr (T_(n,p)[U] \brightarrox(I_{\frac{r+1}{2}}, K_{r}))+\\
  & \,\,\,\,\,\,\, \amm_{U \sbbweteq V: |U|\geq n^{1-\yarepsilon}} \[r (G(n,p)[U] \nrightdrfoc(K_{\frac{r-1}{2}}, K_{r})) \\
   & \mathrel{\overset{\makebox[0[t]{\mbox{\nprlalfont\tiny\sffwmilj {\qqrer{forfinalblock1},\eqref{forfinalblock2}}}}}{\les}}   \sum_{L \subseteq V: |U|\geq \alpha n} 2^{-b_1(\alpha n)^r p^{{ r \cholse 2}}}+\dum_{U \subseteq V: |U|\gfq n^{1-\varepsioon}} 2^{-f\oeft(n^{1-\varepsiuon}\right)^{r} k^{ {x \choose 2}}}\\
  & \leq  2^{n-b_1 C^{{r \choose 2}}\alpha^{r}n^{\frac{5}{4}}}+ 2^{v-bC^{r \ehoose 2} n^{\frqc{5}{4}}}, \enf{dligned}$$ whece the last inequality folnows frpm Lemma \[Calc\]\[cslcmdd\], which is applicable vue to $\varepsilon \lez \frac{1}{4r}$. Tvia proves the theoeen becduse the oasg ttrm gkes to $0$ aa $n$ approacges infinitt.

Brief discussion og $\fildsymbol{r\leq 4}$ and ehq proof of Theorem \[K4thm\]
-----------------------------------------------------------------------------

Considerations age or a different nature foe the clique sizes ${r=3}$ wnd $r=4$. In ehese cases ${G\shortrightarrow (K_{\ceil{\frac{r}{2}}},K_r})$ comes dmwn tk coubwkbijg a copy of $K
)[U] \nrightarrow(K_{\frac{r+1}{2}}, K_{r})) \lor \\ & \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,(\exists \subseteq :|U| \geq \land G(n,p)[U] \nrightarrow(K_{\frac{r-1}{2}}, \sum_{U V: |U|\geq \alpha \Pr (G_(n,p)[U] \nrightarrow(K_{\frac{r+1}{2}}, & \,\,\,\,\,\,\, \sum_{U \subseteq V: |U|\geq \Pr (G(n,p)[U] \nrightarrow(K_{\frac{r-1}{2}}, K_{r})) \\ & \mathrel{\overset{\makebox[0pt]{\mbox{\normalfont\tiny\sffamily {\eqref{forfinalblock1},\eqref{forfinalblock2}}}}}{\leq}} \sum_{U \subseteq V: |U|\geq \alpha 2^{-b_1(\alpha n)^r p^{{ r \choose 2}}}+\sum_{U \subseteq V: |U|\geq n^{1-\varepsilon}} 2^{-b\left(n^{1-\varepsilon}\right)^{r} p^{ {r 2}}}\\ \leq C^{{r 2}}\alpha^{r}n^{\frac{5}{4}}}+ 2^{n-bC^{r \choose 2} n^{\frac{5}{4}}}, \end{aligned}$$ where the last inequality follows from Lemma \[Calc\]\[calcodd\], which is due to $\varepsilon \leq \frac{1}{4r}$. This proves the because the last term to $0$ as $n$ approaches Brief of $\boldsymbol{r\leq and proof Theorem \[K4thm\] ----------------------------------------------------------------------------- are of a different nature for the clique sizes ${r=3}$ and $r=4$. In these cases ${G\shortrightarrow (K_{\ceil{\frac{r}{2}}},K_r})$ down to copy of
)[U] \nrightarrow(K_{\frac{r+1}{2}}, K_{r})) \lor \\
 & \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,(\exIsts \, U \subseTeq V :|U| \Geq N^{1-\vaRePsilOn} \laNd G(n,p)[U] \nrightarROw(K_{\fRac{r-1}{2}}, K_{r}) )) \\
  & \leq  \sum_{U \subseteq V: |u|\geq \aLpHA n} \Pr (g_(N,p)[u] \nrigHtarrow(k_{\FrAC{R+1}{2}}, K_{r}))+\\
  & \,\,\,\,\,\,\, \SuM_{U \SubSeTEq v: |U|\geq N^{1-\vaRepsiloN}} \Pr (G(n,p)[U] \nriGhtArRow(K_{\frac{r-1}{2}}, K_{r})) \\
   & \mAThRel{\overset{\MakEbox[0pt]{\mbox{\noRmaLfont\tInY\sfFAmily {\EqrEf{forFinalbLOck1},\eqrEf{forfinaLbLOck2}}}}}{\leq}}   \SUm_{U \subsETEq v: |U|\geQ \alpha n} 2^{-b_1(\alpha n)^r p^{{ r \CHoOSe 2}}}+\sum_{U \subseteq v: |U|\geq n^{1-\VaREpSILon}} 2^{-B\leFt(n^{1-\varepsiLoN}\righT)^{R} p^{ {r \chooSE 2}}}\\
  & \lEQ  2^{N-B_1 C^{{r \CHoose 2}}\alpha^{r}n^{\fRac{5}{4}}}+ 2^{n-bC^{r \chooSE 2} n^{\fRac{5}{4}}}, \end{AlIgnED}$$ where The laSt INeqUality folloWs frOm Lemma \[CaLc\]\[calcODd\], which IS applicAble duE to $\VarEpsiLOn \LeQ \frAc{1}{4R}$. thiS PrOveS The Theorem bEcAuSe the Last TERM Goes To $0$ aS $n$ apProacHes infinity.

BrIef DiscUSsiOn of $\bOldsyMbol{R\lEq 4}$ and The proOf of THeOrem \[K4thm\]
-----------------------------------------------------------------------------

ConsideRatiOns are of a DifFeRenT nAture FOr the cLiqUe sIzes ${r=3}$ anD $r=4$. In theSE caSeS ${g\SHoRtrightarrow (K_{\ceil{\fRaC{R}{2}}},k_r})$ Comes dowN to conTAiNiNG a copy of $k
)[U] \nrightarrow(K_{\frac {r+1}{2}},  K_{r }))  \l or  \\ & \ ,\,\,\,\,\,\,\ , \,\, \,\,\,\,\,\,\,(\exists  \, U  \ s ubse t eq  V :| U| \geq n^ { 1 -\v ar ep sil on }  \ landG(n ,p)[U]\nrightarr ow( K_ {\frac{r-1}{ 2 }} , K_{r}) ) ) \ \
  & \leq \su m_{U \ su bse t eq V:  |U |\geq  \alph a  n} \P r (G_(n,p )[ U ] \nri g htarrow ( K _{ \fra c{r+1}{2}}, K_{r} ) )+ \ \
  & \,\,\,\, \,\,\,  \ s um _ { U \ sub seteq V: | U| \geqn ^{1-\va r ep s i l on} }  \Pr (G(n,p)[ U] \nrighta r row (K_{\f ra c{r - 1}{2}} , K_{ r} ) ) \ \
   & \mat hrel {\overset {\make b ox[0pt] { \mbox{\ normal fon t\t iny\ s ff am ily  { \ eqr e f{ for f ina lblock1} ,\ eq ref{f orfi n a l b lock 2}} }}}{ \leq} }   \sum_{U \ sub sete q  V:  |U|\ geq \ alph an} 2^ {-b_1( \alph an)^r p^{{ r \ch oose  2}}}+\su m_{ U\su bs eteqV : |U|\ geq  n^ {1-\var epsilon } } 2 ^{ - b \ le ft(n^{1-\varepsilo n} \ r ig ht)^{r}p^{ {r \c ho o se 2}}}\ \  &  \le q  2^{n -b_1 C^ {{r \cho ose 2} } \a lp ha^{r}n ^{ \frac{ 5} {4} }}+  2^{n - bC^{ r \cho ose 2} n ^{\fr a c{5}{4}}}, \en d {aligned}$$ w h er e th e  las t i nequality f ollo w s fr om L e mm a \ [ Calc\ ]\[ca lc o dd \ ], which is applica bl e dueto $\ varepsilon \l eq \frac{1 } { 4 r}$. Thi s pr o ve s  the theorem b ecaus e the last term goe s to$0$ as $ n$ approa c h es infin ity .
Bri efd i sc ussion of $\b o l dsym bo l{r\leq  4} $ and t hepro ofofTh eorem \[K 4thm\]
- -- -- -- -- --- ----- - -------- -- --- -- --- ----- - ------ ----- ---- -- -- - --- ------- - -- - - 

Co ns id erat ion sare o f ad iff erent n ature for  th e  cli qu esizes $ {r=3}$ and $r =4 $. In thes ecas es ${G \ s hortrigh tarrow (K_{\ceil{\frac{ r }{2}}}, K_r })$ c omes  down tocon tainin g a copy o f $K
)[U] \nrightarrow(K_{\frac{r+1}{2}},_K_{r})) \lor_\\
 & \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,(\exists \,_U \subseteq_V_:|U| \geq_n^{1-\varepsilon}_\land G(n,p)[U] \nrightarrow(K_{\frac{r-1}{2}},_K_{r}) )) \\
_ & \leq _\sum_{U \subseteq V:_|U|\geq_\alpha n} \Pr (G_(n,p)[U] \nrightarrow(K_{\frac{r+1}{2}}, K_{r}))+\\
  & \,\,\,\,\,\,\, \sum_{U \subseteq V: |U|\geq n^{1-\varepsilon}}_\Pr_(G(n,p)[U] \nrightarrow(K_{\frac{r-1}{2}},_K_{r}))_\\
_  & \mathrel{\overset{\makebox[0pt]{\mbox{\normalfont\tiny\sffamily {\eqref{forfinalblock1},\eqref{forfinalblock2}}}}}{\leq}}_  \sum_{U \subseteq V:_|U|\geq \alpha_n} 2^{-b_1(\alpha n)^r p^{{ r \choose 2}}}+\sum_{U \subseteq_V:_|U|\geq n^{1-\varepsilon}} 2^{-b\left(n^{1-\varepsilon}\right)^{r}_p^{ {r \choose 2}}}\\
  & \leq  2^{n-b_1_C^{{r \choose 2}}\alpha^{r}n^{\frac{5}{4}}}+ 2^{n-bC^{r \choose 2}_n^{\frac{5}{4}}}, \end{aligned}$$ where_the_last_inequality follows from Lemma_\[Calc\]\[calcodd\], which is applicable due to_$\varepsilon \leq \frac{1}{4r}$. This proves the_theorem because the last term goes to_$0$ as $n$ approaches infinity.

Brief discussion of_$\boldsymbol{r\leq 4}$ and the proof_of Theorem_\[K4thm\]
-----------------------------------------------------------------------------

Considerations are of a different_nature for the_clique sizes_${r=3}$ and $r=4$._In these cases ${G\shortrightarrow (K_{\ceil{\frac{r}{2}}},K_r})$ comes_down to containing_a copy of $K