apply integrableOn_Ioi_cpow_iff (by positivity) |>.mpr (by simp [s_re_gt])
N : ℕ
N_pos : 0 < N
s : ℂ
s_re_gt : 0 < s.re
⊢ MeasureTheory.Integrable (fun x => ↑x ^ (-(s + 1))) (MeasureTheory.volume.restrict (Ioi ↑N))
no goals