Let N be the set of natural numbers, write N0=N∪{0} for the nonnegative integers, and let R be the set of real numbers. We use the factorial k! for k∈N together with the conventions 0!=1 and x0=1 for every real x, and the finite product notation.
Let m∈N, let a1,…,am∈R, and let d∈N0. Then
(a1+⋯+am)d=(n1,…,nm)∈N0mn1+⋯+nm=d∑n1!⋯nm!d!j=1∏majnj.
The sum is over the finitely many m-tuples of nonnegative integers with entrywise nj≤d summing to d.