Suponga que $\mathcal F\subseteq \bigcup_{j=k+1}^{n}X^{(j)}$ y $|X|=n$ . Sabemos que $\mathcal F$ es una familia de Sperner y también es $H_k$ . Demuestre que: $\sum_{B\in \mathcal F}\frac{1}{\dbinom{n-1}{|B|-1}}\le 1$