Theoretical analysis of cross-validation for estimating the risk of the k-nearest neighbor classifier | Synapse