Theorem: SuperAt.dr2 (Ray/Dynamics/BottcherNear.lean)

State before:
f : ℂ → ℂ
d : ℕ
z : ℂ
t : Set ℂ
s : SuperAt f d
⊢ 2 ≤ ↑2
Tactic:
norm_num
State after:
no goals