`BookProof.ChapterBoseEinstein.boseEinstein_mean` (hx : 0 < x) : ∑' n : ℕ, (n : ℝ) * thermalProb (boseEinstein x) n = boseEinstein x

Initializing...

`BookProof.ChapterBoseEinstein.boseEinstein_mean` (hx : 0 < x) : ∑' n : ℕ, (n : ℝ) * thermalProb (boseEinstein x) n = boseEinstein x · Prove2Me