dsimp [LSeriesSummable] at this
s : ℂ
hs : 1 < s.re
this : LSeriesSummable (fun n => ↑(Λ n)) s
⊢ Summable fun n => ↑(Λ n) / ↑n ^ s
s : ℂ
hs : 1 < s.re
this : Summable (LSeries.term (fun n => ↑(Λ n)) s)
⊢ Summable fun n => ↑(Λ n) / ↑n ^ s