`BookProof.ChapterBijectionProbability.bijProb_isEquivalent_stirling` : IsEquivalent atTop bijProb (fun n => Real.sqrt (2 * n * Real.pi) * Real.exp (-(n : ℝ)))

Initializing...

`BookProof.ChapterBijectionProbability.bijProb_isEquivalent_stirling` : IsEquivalent atTop bijProb (fun n => Real.sqrt (2 * n * Real.pi) * Real.exp (-(n : ℝ))) · Prove2Me