∐ i = 0 ∞ x i