OAI/NumberTheory/CubicMoment/Estimates/UniformCoreBlockMoment.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

One logarithmic saving on every actual core dyad above the small core cutoff, obtained by joining the ordinary and exceptional estimates.

  1. lemma OAI.CubicFirstMoment.negative_power_log_saving line 15
  2. theorem OAI.CubicFirstMoment.uniform_core_block_log_saving line 26