$\mathcal F\subseteq \bigcup_{j=k+1}^{n}X^{(j)}$$|X|=n$$\mathcal F$$H_k$$\sum_{B\in \mathcal F}\frac{1}{\dbinom{n-1}{|B|-1}}\le 1$