Mitt favorit öppna problem: Förmodan (Frankl). Låt X vara en ändlig mängd, och låt S ⊆ P(X) vara en samling delmängder av X som är slutna under union. Om S≠∅ och S≠{∅} så förekommer något element x∈X i minst hälften av elementen i S, dvs. 2|{s ∈ S : x ∈ s}| ≥ |S|.