`BookProof.ChapterSoftmaxSharpness.tendsto_exp_mul_neg` (c : ℝ) (hc : c < 0) : Tendsto (fun b : ℝ => Real.exp (b * c)) atTop (𝓝 0)

Initializing...

`BookProof.ChapterSoftmaxSharpness.tendsto_exp_mul_neg` (c : ℝ) (hc : c < 0) : Tendsto (fun b : ℝ => Real.exp (b * c)) atTop (𝓝 0) · Prove2Me