`BookProof.ChapterThermalTemperatureCore.geometricOccupancy_mean` (h0 : 0 ≤ r) (h1 : r < 1) : ∑' n : ℕ, (n : ℝ) * geometricOccupancy r n = r / (1

Initializing...

`BookProof.ChapterThermalTemperatureCore.geometricOccupancy_mean` (h0 : 0 ≤ r) (h1 : r < 1) : ∑' n : ℕ, (n : ℝ) * geometricOccupancy r n = r / (1 - r) · Prove2Me