Proof of `Bounded-VC duality`
What this proof establishes
no assumptions
Assuming the claims on the left, the claim on the right holds — checked by the archive's pipeline. Proof code is not displayed here.
In the paper
- page 24 of this submission's paper
Description
The finite form of Matoušek's (p, q)-theorem, through ε-nets and the finite minimax theorem. Its statement has the roles of the sides swapped and needs no exception for the vertices of the sample, so it implies the form used here.