OAI/Combinatorics/Sensitivity/SeparationArithmetic.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

The exact final ratio, the depth-nine seed gap, and exponential divergence.

  1. theorem OAI.Paper320.seed_ratio_identity line 13
  2. theorem OAI.Paper320.seed_ratio_lower line 22
  3. theorem OAI.Paper320.ratio_of_bounds line 32
  4. theorem OAI.Paper320.quantitative_ratio_of_bounds line 47
  5. theorem OAI.Paper320.depth_nine_ratio line 62
  6. theorem OAI.Paper320.depth_nine_ratio_gt_one line 65
  7. theorem OAI.Paper320.depth_nine_seed_ratio line 67
  8. theorem OAI.Paper320.depth_nine_seed_gap line 73
  9. theorem OAI.Paper320.quantitative_ratio_tendsto line 88