OAI/NumberTheory/Ostmann/ZeroDensity/ZetaNearZeroBound.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

A near-one zeta zero contributes its full reciprocal gap

  1. theorem OAI.Ostmann.zetaAtHeight_logDeriv_translate line 12
  2. theorem OAI.Ostmann.regularizedZeta_zero_re_lt_one line 19
  3. theorem OAI.Ostmann.zeta_near_zero_gap_bound line 23