`BookProof.ChapterBoseEinstein.tendsto_thermalTemperature_boseEinstein` : Tendsto (fun x : ℝ => thermalTemperature (boseEinstein x)) atTop (𝓝 (1 / 2))

Initializing...

`BookProof.ChapterBoseEinstein.tendsto_thermalTemperature_boseEinstein` : Tendsto (fun x : ℝ => thermalTemperature (boseEinstein x)) atTop (𝓝 (1 / 2)) · Prove2Me