=1}^{k} |\hat{\cS}_i|$, and similarly for features $j \in \cS^{c}$, $$\begin{aligned}
c^* |\hat{\cS}_{(c^*)} \cap \cS^{c}| \leq \sum_{j \in \cS^{c}: m_j \geq c^*} m_j \leq \sum_{j \in \cS^{c}} m_j = \sum_{i=1}^{k} |\hat{\cS}_i \cap \cS^{c}|.\end{aligned}$$ Therefore, the overall $\FDR$ can be linked to the machine-wise $\FDR$’s as $$\begin{aligned}
\FDR_{\left(c^*\right)} &= \EE\left\{\EE\left[\frac{|\hat{\cS}_{(c^*)} \cap \cS^{c}|}{|\hat{\cS}_{(c^*)}|}\Big|\left(\hat{\cS}_1,\dots,\hat{\cS}_k\right)\right]\right\}
\nonumber\\&\leq %\EE\left\{\frac{1}{c^*}\EE\left[\frac{\sum_{i=1}^{k} |\hat{\cS}_i \cap \cS^{c}|}{|\hat{\cS}_{(c^*)}|}|\left(\hat{\cS}_1,\dots,\hat{\cS}_k\right)\right]\right\}\nonumber\\
 %& = 
 \EE\left\{\frac{1}{c^*}\sum_{i=1}^{k} \EE\left[\frac{|\hat{\cS}_i \cap \cS^{c}|}{|\hat{\cS}_{(c^*)}|}\Big|\left(\hat{\cS}_1,\dots,\hat{\cS}_k\right)\right]\right\}.\end{aligned}$$ In addition, by definition of $c^*$ in the theorem: $|\hat{\cS}_{(c^*)}| \geq \frac{1}{k} \sum_{i=1}^{k} |\hat{\cS}_i| \geq \frac{k}{\sum_{i=1}^{k} 1/|\hat{\cS}_i|}$, we then obtain $$\begin{aligned}
\FDR_{\left(c^*\right)} & \leq \EE\left\{\frac{1}{c^*}\sum
= 1}^{k } |\hat{\cS}_i|$, and similarly for features $ j \in \cS^{c}$, $ $ \begin{aligned } 
 c^ * |\hat{\cS}_{(c^ *) } \cap \cS^{c}| \leq \sum_{j \in \cS^{c }: m_j \geq c^ * } m_j \leq \sum_{j \in \cS^{c } } m_j = \sum_{i=1}^{k } |\hat{\cS}_i \cap \cS^{c}|.\end{aligned}$$ Therefore, the overall $ \FDR$ can be linked to the car - fresh $ \FDR$ ’s as $ $ \begin{aligned } 
 \FDR_{\left(c^*\right) } & = \EE\left\{\EE\left[\frac{|\hat{\cS}_{(c^ *) } \cap \cS^{c}|}{|\hat{\cS}_{(c^*)}|}\Big|\left(\hat{\cS}_1,\dots,\hat{\cS}_k\right)\right]\right\ } 
 \nonumber\\&\leq% \EE\left\{\frac{1}{c^*}\EE\left[\frac{\sum_{i=1}^{k } |\hat{\cS}_i \cap \cS^{c}|}{|\hat{\cS}_{(c^*)}|}|\left(\hat{\cS}_1,\dots,\hat{\cS}_k\right)\right]\right\}\nonumber\\ 
 % & = 
  \EE\left\{\frac{1}{c^*}\sum_{i=1}^{k } \EE\left[\frac{|\hat{\cS}_i \cap \cS^{c}|}{|\hat{\cS}_{(c^*)}|}\Big|\left(\hat{\cS}_1,\dots,\hat{\cS}_k\right)\right]\right\}.\end{aligned}$$ In addition, by definition of $ c^*$ in the theorem: $ |\hat{\cS}_{(c^*)}| \geq \frac{1}{k } \sum_{i=1}^{k } |\hat{\cS}_i| \geq \frac{k}{\sum_{i=1}^{k } 1/|\hat{\cS}_i|}$, we then obtain $ $ \begin{aligned } 
 \FDR_{\left(c^*\right) } & \leq \EE\left\{\frac{1}{c^*}\sum
=1}^{k} |\hwt{\cS}_i|$, and similarly for neatures $j \in \cS^{e}$, $$\begin{eligned}
d^* |\hat{\cS}_{(c^*)} \cap \cS^{c}| \leq \sum_{j \in \cS^{c}: m_j \jeq x^*} m_j \oeq \sum_{j \in \cS^{c}} m_j = \suo_{i=1}^{k} |\hat{\cS}_p \cap \cS^{c}|.\wnd{aougned}$$ Therxrore, thc ovedwll $\YDC$ can be linked to the mawhine-wise $\FDR$’s ar $$\yegin{aligned}
\FDR_{\left(c^*\right)} &= \EE\left\{\EE\lqft[\frac{|\nah{\cS}_{(c^*)} \cap \cS^{c}|}{|\haj{\cS}_{(c^*)}|}\Bpg|\jeft(\gat{\cS}_1,\dots,\hat{\cS}_k\right)\right]\right\}
\nonujber\\&\leq %\EE\left\{\frac{1}{c^*}\ER\left[\frac{\sum_{i=1}^{k} |\hat{\cS}_i \cap \fS^{c}|}{|\hwt{\cS}_{(c^*)}|}|\left(\hat{\cS}_1,\dots,\jat{\cS}_k\right)\tjghe]\eight\}\nonumbef\\
 %& = 
 \EE\lefu\{\fxac{1}{c^*}\sum_{i=1}^{k} \EG\left[\frac{|\hat{\cS}_i \cap \cS^{c}|}{|\hat{\cS}_{(c^*)}|}\Big|\ueft(\hct{\cS}_1,\dots,\hat{\xS}_j\rihvt)\right]\righv\}.\end{alpgned}$$ In addibpon, by gefinitoon of $c^*$ in thc themren: $|\hat{\cS}_{(c^*)}| \geq \frac{1}{k} \suk_{i=1}^{k} |\hat{\cS}_i| \geq \fras{k}{\sum_{i=1}^{k} 1/|\hdt{\eS}_i|}$, we then obtain $$\betib{aligted}
\FGR_{\lewr(c^*\rkghu)} & \kes \EE\levt\{\fcac{1}{c^*}\sum
=1}^{k} |\hat{\cS}_i|$, and similarly for features $j $$\begin{aligned} |\hat{\cS}_{(c^*)} \cap \leq \sum_{j \in \leq \in \cS^{c}} m_j \sum_{i=1}^{k} |\hat{\cS}_i \cap Therefore, the overall $\FDR$ can be to the machine-wise $\FDR$’s as $$\begin{aligned} \FDR_{\left(c^*\right)} &= \EE\left\{\EE\left[\frac{|\hat{\cS}_{(c^*)} \cap \cS^{c}|}{|\hat{\cS}_{(c^*)}|}\Big|\left(\hat{\cS}_1,\dots,\hat{\cS}_k\right)\right]\right\} \nonumber\\&\leq %\EE\left\{\frac{1}{c^*}\EE\left[\frac{\sum_{i=1}^{k} \cap \cS^{c}|}{|\hat{\cS}_{(c^*)}|}|\left(\hat{\cS}_1,\dots,\hat{\cS}_k\right)\right]\right\}\nonumber\\ %& = \EE\left\{\frac{1}{c^*}\sum_{i=1}^{k} \EE\left[\frac{|\hat{\cS}_i \cap \cS^{c}|}{|\hat{\cS}_{(c^*)}|}\Big|\left(\hat{\cS}_1,\dots,\hat{\cS}_k\right)\right]\right\}.\end{aligned}$$ In addition, by definition of in theorem: \geq \sum_{i=1}^{k} |\hat{\cS}_i| \geq \frac{k}{\sum_{i=1}^{k} 1/|\hat{\cS}_i|}$, we then obtain $$\begin{aligned} \FDR_{\left(c^*\right)} & \leq \EE\left\{\frac{1}{c^*}\sum
=1}^{k} |\hat{\cS}_i|$, and similarly for feaTures $j \in \cS^{C}$, $$\begiN{alIgnEd}
C^* |\hat{\CS}_{(c^*)} \cAp \cS^{c}| \leq \sum_{j \in \Cs^{c}: m_j \Geq c^*} m_j \leq \sum_{j \in \cS^{c}} m_j = \suM_{i=1}^{k} |\haT{\cs}_I \cap \Cs^{c}|.\End{alIgned}$$ ThEReFORe, tHe OvEraLl $\fdR$ Can be LinKed to thE machine-wiSe $\FdR$’S as $$\begin{aligNEd}
\fDR_{\left(c^*\riGht)} &= \eE\left\{\EE\left[\FraC{|\hat{\cS}_{(C^*)} \cAp \cs^{C}|}{|\hat{\cs}_{(c^*)}|}\BIg|\lefT(\hat{\cS}_1,\DOts,\hat{\CS}_k\right)\rIgHT]\right\}
\NOnumber\\&\LEQ %\Ee\lefT\{\frac{1}{c^*}\EE\left[\frac{\sUM_{i=1}^{K} |\Hat{\cS}_i \cap \cS^{c}|}{|\haT{\cS}_{(c^*)}|}|\leFt(\HAt{\Cs}_1,\DotS,\haT{\cS}_k\right)\rIgHt]\rigHT\}\nonumbER\\
 %& = 
 \Ee\LEFt\{\fRAc{1}{c^*}\sum_{i=1}^{k} \EE\lefT[\frac{|\hat{\cS}_i \CAp \cs^{c}|}{|\hat{\cs}_{(c^*)}|}\big|\LEft(\hat{\CS}_1,\dotS,\hAT{\cS}_K\right)\right]\RighT\}.\end{alignEd}$$ In adDItion, by DEfinitiOn of $c^*$ iN thE thEoreM: $|\HaT{\cs}_{(c^*)}| \gEq \FRac{1}{K} \SuM_{i=1}^{k} |\HAt{\cs}_i| \geq \fraC{k}{\SuM_{i=1}^{k} 1/|\haT{\cS}_i|}$, WE THEn obTaiN $$\begIn{aliGned}
\FDR_{\left(c^*\rIghT)} & \leq \ee\leFt\{\fraC{1}{c^*}\sum
=1}^{k} |\hat{\cS}_i|$, an d similarl y for  fe atu re s $j  \in  \cS^{c}$, $$\ b egin {aligned}
c^* |\hat{\c S}_{( c^ * )} \ c ap  \cS^ {c}| \l e q\ s um_ {j  \ in\c S ^{ c}: m _j\geq c^ *} m_j \le q \ su m_{j \in \cS ^ {c }} m_j = \ sum _{i=1}^{k} | \ha t{\cS} _i  \c a p \cS ^{c }|.\e nd{ali g ned}$$  Therefor e, the ov e rall $\ F D R$  can  be linked to the ma c hine-wise $\FD R$’s a s$ $\ b e gin {al igned}
\FD R_ {\lef t (c^*\ri g ht ) } &=\ EE\left\{\EE\ left[\frac{ | \ha t{\cS} _{ (c^ * )} \ca p \cS ^{ c }|} {|\hat{\cS} _{(c ^*)}|}\Bi g|\lef t (\hat{\ c S}_1,\d ots,\h at{ \cS }_k\ r ig ht )\r ig h t]\ r ig ht\ } 
\n onumber\ \& \l eq %\ EE\l e f t \ {\fr ac{ 1}{c ^*}\E E\left[\frac{ \su m_{i = 1}^ {k} | \hat{ \cS} _i  \cap  \cS^{ c}|}{ |\ hat{\cS}_{(c^*) }|}| \left(\ha t{\ cS }_1 ,\ dots, \ hat{\c S}_ k\r ight)\r ight]\r i ght \} \ n o nu mber\\
 %& = 
 \EE \l e f t\ {\frac{1 }{c^*} \ su m_ { i=1}^{k}  \ EE\ left [ \ frac{ |\ha t {\ cS}_i \c ap \cS ^ {c }| }{|\hat {\ cS}_{( c^ *)} |}\ Big|\ l eft( \hat{\ cS}_1,\d ots,\ h at{\cS}_k\righ t )\right]\righ t \} . \ en d {ali gne d}$$ In add itio n , by  def i ni tio n  of $ c^*$in th e  theorem: $|\hat{\c S} _{(c^* )}| \ geq \frac{1}{ k} \sum_{i = 1 } ^{k} |\h at{\ c S} _ i| \geq \frac{ k}{\s um_{i=1}^{ k } 1/|\ha t{\cS }_i|}$,we then o b t ain $$\b egi n{a lig ned } \F DR_{\left(c^* \ r ight )}  & \leq  \E E\left\ {\f rac {1} {c^ *} \sum
=1}^{k} |\hat{\cS}_i|$,_and similarly_for features $j \in_\cS^{c}$, $$\begin{aligned}
c^*_|\hat{\cS}_{(c^*)}_\cap \cS^{c}|_\leq_\sum_{j \in \cS^{c}:_m_j \geq c^*}_m_j \leq \sum_{j \in_\cS^{c}} m_j =_\sum_{i=1}^{k}_|\hat{\cS}_i \cap \cS^{c}|.\end{aligned}$$ Therefore, the overall $\FDR$ can be linked to the machine-wise $\FDR$’s_as_$$\begin{aligned}
\FDR_{\left(c^*\right)} &=_\EE\left\{\EE\left[\frac{|\hat{\cS}_{(c^*)}_\cap_\cS^{c}|}{|\hat{\cS}_{(c^*)}|}\Big|\left(\hat{\cS}_1,\dots,\hat{\cS}_k\right)\right]\right\}
\nonumber\\&\leq %\EE\left\{\frac{1}{c^*}\EE\left[\frac{\sum_{i=1}^{k} |\hat{\cS}_i \cap \cS^{c}|}{|\hat{\cS}_{(c^*)}|}|\left(\hat{\cS}_1,\dots,\hat{\cS}_k\right)\right]\right\}\nonumber\\
_%& = 
 \EE\left\{\frac{1}{c^*}\sum_{i=1}^{k} \EE\left[\frac{|\hat{\cS}_i_\cap \cS^{c}|}{|\hat{\cS}_{(c^*)}|}\Big|\left(\hat{\cS}_1,\dots,\hat{\cS}_k\right)\right]\right\}.\end{aligned}$$_In addition, by definition of $c^*$ in the_theorem:_$|\hat{\cS}_{(c^*)}| \geq \frac{1}{k}_\sum_{i=1}^{k} |\hat{\cS}_i| \geq \frac{k}{\sum_{i=1}^{k} 1/|\hat{\cS}_i|}$, we then obtain $$\begin{aligned}
\FDR_{\left(c^*\right)}_& \leq \EE\left\{\frac{1}{c^*}\sum