OAI/NumberTheory/JointDickman/Counting/SamplingErrorBounds.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Scalar bounds for the manuscript's sampling scales

  1. theorem OAI.JointDickman.samplingError_eq line 12
  2. theorem OAI.JointDickman.samplingError_scale_bound line 23
  3. theorem OAI.JointDickman.sampling_degree_scale_bound line 56
  4. theorem OAI.JointDickman.sampling_square_scale_eq line 81
  5. theorem OAI.JointDickman.sampling_error_envelope_tendsto line 87