OAI/NumberTheory/JointDickman/Arithmetic/RegularityTailPrimeSums.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A uniform lower bound for reciprocal-prime tail masses

  1. theorem OAI.JointDickman.regularity_tail_prime_sum_lower line 11