= Solution
If $B=\varnothing$, then for every $j$ at least one of $H_j^\beta$ and $H_j^\eta$ is true. Since
$$
\{q_j\leq t\}=\{q_j^\beta\leq t\}\cap\{q_j^\eta\leq t\},
$$
validity of the <p-value> for whichever component null is true implies $\mathbb P(q_j\leq t)\leq t$. Therefore the <union bound> gives
$$
\mathbb P\!\left(\min_{1\leq j\leq p}q_j\leq\frac\alpha p\right)
\leq\sum_{j=1}^p\mathbb P\!\left(q_j\leq\frac\alpha p\right)
\leq\alpha.
$$
This is the <Bonferroni correction> for the composite intersection alternatives.
Back to article page
