`BookProof.ChapterAttentionCapacity.tendsto_capacityError` {r C : ℝ} (hr : 0 < r) (M : ℝ) : Tendsto (fun b : ℝ => 2 * C * (M * Real.exp (-(b * r ^ 2)))) atTop (𝓝 0)

Initializing...

`BookProof.ChapterAttentionCapacity.tendsto_capacityError` {r C : ℝ} (hr : 0 < r) (M : ℝ) : Tendsto (fun b : ℝ => 2 * C * (M * Real.exp (-(b * r ^ 2)))) atTop (𝓝 0) · Prove2Me