pub fn sample_complexity_bound_ty() -> Expr
Sample complexity upper bound for PAC learning Type: ∀ (ε δ : Real) (d : Nat), m ≥ SampleComplexity ε δ d → Prop