
Soit un ensemble de cardinal
et soient
des parties distinctes de
On suppose que, pour tout couple d’éléments distincts de il existe
tel que
contienne l’un des deux éléments et pas l’autre.
Montrer que et que cette inégalité est optimale.
Une solution est disponible ici