dsimp [LSeries, LSeries.term]
s : ℂ
hs : 1 < s.re
⊢ LSeries (fun n => ↑(Λ n)) s = ∑' (n : ℕ), ↑(Λ n) / ↑n ^ s
s : ℂ
hs : 1 < s.re
⊢ (∑' (n : ℕ), if n = 0 then 0 else ↑(Λ n) / ↑n ^ s) = ∑' (n : ℕ), ↑(Λ n) / ↑n ^ s