Suponga que $\mathcal F\subseteq p(X)$ y $|X|=n$ . Sabemos que para cada $A_i,A_j\in \mathcal F$ tal que $A_i\supseteq A_j$ tenemos $3\le |A_i|-|A_j|$ . Demuestre que: $|\mathcal F|\le \lfloor\frac{2^n}{3}+\frac{1}{2}\dbinom{n}{\lfloor\frac{n}{2}\rfloor}\rfloor$