simp only [neg_add_rev, mul_neg, add_comm, ← sub_eq_add_neg]
N : ℕ
Npos : 0 < N
s : ℂ
s_re_gt : 0 < s.re
⊢ Integrable (fun x => ↑x ^ (-(s + 1)) * -↑x.log) (volume.restrict (Ioi ↑N))
N : ℕ
Npos : 0 < N
s : ℂ
s_re_gt : 0 < s.re
⊢ Integrable (fun x => -(↑x ^ (-s - 1) * ↑x.log)) (volume.restrict (Ioi ↑N))