[stordoff]

For the VC bound, we have a m_H(2N) term. Should this be replaced with (2N)^dvc, or merely N^dvc?

I presume the former, but both give answers around 400,000-500,000, so confirmation would be useful.