OAI/NumberTheory/CubicMoment/Estimates/FlatTripleNegligibleScale.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

The logarithmic saving left after counting and integrating flat triples is still smaller than the first-moment scale.

  1. lemma OAI.CubicFirstMoment.fractional_log_saving_isLittleO line 13
  2. lemma OAI.CubicFirstMoment.flatTriple_loglog_absorption line 41
  3. lemma OAI.CubicFirstMoment.flatTriple_counted_scale_isLittleO line 51