A. Blum, A. Kalai, and J. Langford. Beating the holdout: Bounds for k-fold and progressive crossvalidation. I