{lo hi : ℕ → ℝ} {nu gam : ℝ} (hnu : nu ≠ 0) (hlo : Tendsto lo atTop (𝓝 nu)) (hhi : Tendsto hi atTop (𝓝 nu)) : Tendsto (fun m => ((lo m)⁻¹ - gam) - ((hi m)⁻¹

Initializing...

{lo hi : ℕ → ℝ} {nu gam : ℝ} (hnu : nu ≠ 0) (hlo : Tendsto lo atTop (𝓝 nu)) (hhi : Tendsto hi atTop (𝓝 nu)) : Tendsto (fun m => ((lo m)⁻¹ - gam) - ((hi m)⁻¹ - gam)) atTop (𝓝 0) · Prove2Me