noncomputable def Finset.reciprocalSum (A : Finset ℕ) : ℝ

The reciprocal sum of a finite set of natural numbers.

Equations

• A.reciprocalSum = ∑ a ∈ A, 1 / ↑a