## Infinite sum of complex numbers

### Set

 context $(z_i) \in \mathrm{Sequence}(\mathbb C)$ definiendum $\sum_{i=1}^\infty z_i\equiv \mathrm{lim}_{n\to\infty}\sum_{i=1}^n z_i$