`BookProof.ChapterThermalTemperatureCore.thermal_temperature_eq_energy_expectation_coth` {x : ℝ} (hx : 0 < x) : Real.cosh (x / 2) / (2 * Real.sinh (x / 2)) = ∑' n : ℕ, ((n : ℝ) + 1

Initializing...

`BookProof.ChapterThermalTemperatureCore.thermal_temperature_eq_energy_expectation_coth` {x : ℝ} (hx : 0 < x) : Real.cosh (x / 2) / (2 * Real.sinh (x / 2)) = ∑' n : ℕ, ((n : ℝ) + 1 · Prove2Me