OAI/NumberTheory/TotientAsymptotic/PeriodicSieveCount.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Finite interval errors for the periodic congruence classes in the sieve.

  1. lemma OAI.TotientAsymptotic.count_periodic_blocks line 10
  2. lemma OAI.TotientAsymptotic.count_periodic_error line 29
  3. lemma OAI.TotientAsymptotic.shiftedSievePolynomial_mod line 61
  4. lemma OAI.TotientAsymptotic.shiftedSieve_count_error line 65
  5. lemma OAI.TotientAsymptotic.interval_count_discrepancy line 71
  6. lemma OAI.TotientAsymptotic.shiftedSieve_interval_error line 96