OAI/NumberTheory/CubicMoment/Estimates/TailPrimeTailGeometry.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

One surviving height window fixes independent prime groups for the entire signed tail. Their choice therefore does not depend on frequency.

  1. def OAI.CubicFirstMoment.tailPrimeTupleTail line 12
  2. lemma OAI.CubicFirstMoment.tailPrimeTupleTail_witness line 17
  3. lemma OAI.CubicFirstMoment.tailPrimeTuple_scale_product line 32
  4. theorem OAI.CubicFirstMoment.eventually_tailPrimeTupleTail_groups line 47