def of VCdim bounds