erdős #1178
For let be the minimal such thatwhere is the family of -uniform hypergraphs on vertices with edges.Prove thatfor all .
Worked, still open.
graph theory · open · 0 attempts
use this record
vela registry pull vfr_37aec80d874a0239vela reproduce examples/erdos-problems