A bound on the label complexity of agnostic active learning | Synapse