P
Initializing...
Lemma 29.4 (Natarajan): |H| ≤ |X|^{Ndim(H)} k^{2 Ndim(H)} for a class of functions from a finite X to [k] · Prove2Me