simp only [norm_mul, norm_eq_abs, abs_ofReal]
N : ℕ
Npos : 0 < N
s : ℂ
s_re_gt : 0 < s.re
⊢ Integrable (fun a => ‖↑a ^ (-s - 1) * ↑a.log‖) (volume.restrict (Ioi ↑N))
N : ℕ
Npos : 0 < N
s : ℂ
s_re_gt : 0 < s.re
⊢ Integrable (fun a => Complex.abs (↑a ^ (-s - 1)) * |a.log|) (volume.restrict (Ioi ↑N))