Zulip Chat Archive

Stream: maths

Topic: convergence of real-valued series


Jakub Kądziołka (Mar 09 2022 at 00:46):

The undergraduate_todo page lists "Convergence of real-valued series". What exactly is meant there? It seems that this already exists and gets used often, e.g. docs#has_sum.tendsto_sum_nat

Kevin Buzzard (Mar 09 2022 at 07:56):

I think the issue here is that strictly speaking we only have absolute convergence (the lemma you link to isn't an iff)


Last updated: Dec 20 2023 at 11:08 UTC