Weighted Holm step-down procedure
= Weighted Holm step-down procedure
{c}
Order $q_i=p_i/w_i$ increasingly. At rank $k$, reject the corresponding hypothesis when
$$
q_{(k)}\leq\frac{\alpha}{\sum_{j=k}^m w_{(j)}}
$$
and otherwise stop. The first ordered true null reduces FWER control to a weighted <union bound>; the shrinking denominator makes this procedure at least as powerful as the <Weighted Bonferroni correction>.