PrimeProduct(f(p), For(p)), rendered as ∏pf(p), represents the product of f(p)
taken over all prime numbers p.
PrimeProduct(f(p), For(p), P(p)), rendered as ∏P(p)f(p), represents the product of f(p)
taken over all prime numbers p
satisfying the predicate P(p).
The special expression For(p) defines p as a locally bound variable.
The empty product is equal to one. Products taken over an infinite number of factors are required to be absolutely convergent.
Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| PrimeProduct | ∏pf(p) | Product over primes |
Source code for this entry:
Entry(ID("2a896d"),
SymbolDefinition(PrimeProduct, PrimeProduct(f(p), For(p)), "Product over primes"),
Description(SourceForm(PrimeProduct(f(p), For(p))), ", rendered as ", PrimeProduct(f(p), For(p)), ", represents the product of", f(p), "taken over all prime numbers", p, "."),
Description(SourceForm(PrimeProduct(f(p), For(p), P(p))), ", rendered as ", PrimeProduct(f(p), For(p), P(p)), ", represents the product of", f(p), "taken over all prime numbers", p, "satisfying the predicate", P(p), "."),
Description("The special expression", SourceForm(For(p)), "defines", SourceForm(p), "as a locally bound variable."),
Description("The empty product is equal to one. Products taken over an infinite number of factors are required to be absolutely convergent."))