x y : ℝ
⊢ Tendsto (fun x => log (abs x)) (𝓝[{0}ᶜ] 0) atBot
x y : ℝ
⊢ Tendsto log (𝓝[{0}ᶜ] 0) atBot
rw [← show _ = log from funext log_abs]
x y : ℝ
⊢ Tendsto log (𝓝[Ioi 0] 0) atBot
x y : ℝ
⊢ Tendsto (fun x => log (abs x)) (𝓝[{0}ᶜ] 0) atBot
refine' Tendsto.comp (g := log) _ tendsto_abs_nhdsWithin_zero
no goals
x y : ℝ
⊢ Tendsto log (𝓝[Ioi 0] 0) atBot
simpa [← tendsto_comp_exp_atBot] using tendsto_id