simpa using tendsto_uniformly_on_const.add this
ι : Type u_1
α : Type u_2
β : Type u_3
U : Set ℂ
c z₀ : ℂ
r : ℝ
f g : ℂ → ℂ
this✝ : Tendsto id (𝓝[≠] 0) (𝓝 0)
this : TendstoUniformlyOn (fun ε x => ε) 0 (𝓝[≠] 0) U
⊢ TendstoUniformlyOn (fun ε z => g z + ε) g (𝓝[≠] 0) U
no goals