apply isLittleO_const_of_tendsto_atTop _ <| tendsto_pow_atTop (by linarith)
case h₂
n : ℕ
A a✝ b✝ c d u x y t σ' : ℝ
ψ Ψ : ℝ → ℂ
F G : ℂ → ℂ
f : ℕ → ℂ
𝕜 : Type
inst✝ : _root_.RCLike 𝕜
a b : ℝ
⊢ (fun x => b) =o[atTop] fun x => x ^ 2
no goals