`BookProof.ChapterThermalTemperatureCore.geometricOccupancy_variance` (h0 : 0 ≤ r) (h1 : r < 1) : (∑' n : ℕ, (n : ℝ) ^ 2 * geometricOccupancy r n) - (∑' n : ℕ, (n : ℝ) * geometricO

Initializing...

`BookProof.ChapterThermalTemperatureCore.geometricOccupancy_variance` (h0 : 0 ≤ r) (h1 : r < 1) : (∑' n : ℕ, (n : ℝ) ^ 2 * geometricOccupancy r n) - (∑' n : ℕ, (n : ℝ) * geometricO · Prove2Me