OAI/NumberTheory/JointDickman/Amplification/FiniteHoeffding.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Finite weighted Hoeffding inequality

  1. def OAI.JointDickman.finiteMassLaw line 11
  2. theorem OAI.JointDickman.finiteMassLaw_integral line 17
  3. theorem OAI.JointDickman.finite_hoeffding line 25
  4. theorem OAI.JointDickman.finite_hoeffding_diameter line 43