P
Initializing...
Corollary 3.2: every finite hypothesis class is PAC learnable, by ERM, with sample complexity m_H(ε, δ) ≤ ⌈log(|H|/δ)/ε⌉ · Prove2Me