P
Initializing...
Theorem 3.9 — |N_α(C)| ≤ |X|^{O(VCDIM(C) log(1/α)/α²)} · Prove2Me