OAI/NumberTheory/Ostmann/Supply/SquarefreeEulerBound.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The weighted reciprocal squarefree sum in the coefficient estimate

  1. theorem OAI.Ostmann.squarefree_weighted_reciprocal_le_product line 13
  2. theorem OAI.Ostmann.squarefree_weighted_reciprocal_le_exp line 43