Real series/Cauchy-product/Definition