OAI/Combinatorics/Sensitivity/ParameterBounds.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Uniform numerical estimates for the size parameter.

  1. theorem OAI.Paper320.parameter_ge_eighty_one line 9
  2. theorem OAI.Paper320.ceil_sqrt_max_le_two_sqrt line 15
  3. theorem OAI.Paper320.parameter_sqrt_lower line 25
  4. theorem OAI.Paper320.parameter_epsilon_budget line 34
  5. theorem OAI.Paper320.parameter_epsilon_le line 47
  6. theorem OAI.Paper320.parameter_epsilon_sqrt line 51