`BookProof.ChapterCoherentTemperature.tsum_choose_two` (h : 0 ≤ nbar) : ∑' n : ℕ, ((n + 2).choose 2 : ℝ) * thermalRatio nbar ^ n = 1 / (1

Initializing...

`BookProof.ChapterCoherentTemperature.tsum_choose_two` (h : 0 ≤ nbar) : ∑' n : ℕ, ((n + 2).choose 2 : ℝ) * thermalRatio nbar ^ n = 1 / (1 - thermalRatio nbar) ^ 3 · Prove2Me