convert this
s : ℂ
hs : 1 < s.re
this : Summable (LSeries.term (fun n => ↑(Λ n)) s)
⊢ Summable fun n => ↑(Λ n) / ↑n ^ s
case h.e'_5.h
s : ℂ
hs : 1 < s.re
this : Summable (LSeries.term (fun n => ↑(Λ n)) s)
x✝ : ℕ
⊢ ↑(Λ x✝) / ↑x✝ ^ s = LSeries.term (fun n => ↑(Λ n)) s x✝