apply ContinuousWithinAt.cpow ?_ continuous_const.continuousWithinAt ?_
N : ℕ
Npos : 0 < N
s : ℂ
s_re_gt : 0 < s.re
x : ℝ
hx : x ∈ Ioi ↑N
⊢ ContinuousWithinAt (fun x => ↑x ^ (-s - 1)) (Ioi ↑N) x
N : ℕ
Npos : 0 < N
s : ℂ
s_re_gt : 0 < s.re
x : ℝ
hx : x ∈ Ioi ↑N
⊢ ContinuousWithinAt (fun x => ↑x) (Ioi ↑N) x

N : ℕ
Npos : 0 < N
s : ℂ
s_re_gt : 0 < s.re
x : ℝ
hx : x ∈ Ioi ↑N
⊢ ↑x ∈ slitPlane