All products added together are multiplied by the sum
More use formal power series (corresponding to an infinite sequence of numbers) for infinite sums
This page is auto-translated from /nishio/積と和の交換 using DeepL. If you looks something interesting but the auto-translated English is not good enough to understand it, feel free to let me know at @nishio_en. I'm very happy to spread my thought to non-Japanese readers.