OAI/NumberTheory/TotientAsymptotic/MertensReciprocal.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Reciprocal prime sums from the second Mertens theorem.

  1. lemma OAI.TotientAsymptotic.primeReciprocalLE_mertens line 11
  2. lemma OAI.TotientAsymptotic.primeReciprocalLT_mertens line 29