CS 485/685, University of Waterloo. Jan 9, 2015.
First formal learnability theorem: Assuming realizability, ERM is guaranteed to succeed over finite classes.

source