Let be the set of \reftext{def:natural-numbers-2026a}{natural numbers}, write for the nonnegative integers, and let be the set of \reftext{def:real-numbers-c54-2026c}{real numbers}. We use the \reftext{def:factorial-natural-number-2026a}{factorial} for together with the conventions and for every real , and the \reftext{def:finite-product-notation-2026a}{finite product notation}.
Let , let , and let . Then
The sum is over the finitely many -tuples of nonnegative integers with entrywise summing to .
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
Authors
Loading…