(c : ℝ) : Tendsto (fun x : ℝ => Real.exp (c * |x|) * gaussH x) atTop (𝓝 0) · Prove2Me

P

Initializing...

(c : ℝ) : Tendsto (fun x : ℝ => Real.exp (c * |x|) * gaussH x) atTop (𝓝 0) · Prove2Me