Multiplicative partitions of factorials are expressions of values of the
factorial
In mathematics, the factorial of a non-negative denoted is the product of all positive integers less than or equal The factorial also equals the product of n with the next smaller factorial:
\begin
n! &= n \times (n-1) \times (n-2) \t ...
function as products of powers of
prime numbers
A prime number (or a prime) is a natural number greater than 1 that is not a product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime because the only ways ...
. They have been studied by
Paul Erdős
Paul Erdős ( hu, Erdős Pál ; 26 March 1913 – 20 September 1996) was a Hungarian mathematician. He was one of the most prolific mathematicians and producers of mathematical conjectures of the 20th century. pursued and proposed problems in ...
and others.
The factorial of a positive integer is a product of decreasing integer factors, which can in turn be factored into prime numbers. This means that any factorial can be written as a product of powers of primes. For example,
If we wish to write
as a product of factors of the form
, where each
is a prime number, and the factors are sorted in nondecreasing order, then we have three ways of doing so:
The number of such "sorted multiplicative partitions" of
grows with
, and is given by the sequence
:1, 1, 3, 3, 10, 10, 30, 75, 220, 220, 588, 588, 1568, 3696, 11616, ... .
Not all sorted multiplicative partitions of a given factorial have the same length. For example, the partitions of
have lengths 4, 3 and 5. In other words, exactly one of the partitions of
has length 5. The number of sorted multiplicative partitions of
that have length equal to
is 1 for
and
, and thereafter increases as
:2, 2, 5, 12, 31, 31, 78, 78, 191, 418, 1220, 1220, 3015, ... .
Consider all sorted multiplicative partitions of
that have length
, and find the partition whose first factor is the largest. (Since the first factor in a partition is the smallest within that partition, this means finding the
maximum of all the minima.) Call this factor
. The value of
is 2 for
and
, and thereafter grows as
:2, 2, 2, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 5, 5, 5, 5, 5, 5, 5, 5, 7, 7, 7, 7, 7, 7, ... .
To express the
asymptotic
In analytic geometry, an asymptote () of a curve is a line such that the distance between the curve and the line approaches zero as one or both of the ''x'' or ''y'' coordinates tends to infinity. In projective geometry and related contexts, ...
behavior of
, let
As
tends to infinity,
approaches a limiting value, the Alladi–Grinstead constant (named for the mathematicians
Krishnaswami Alladi
Krishnaswami Alladi (born October 5, 1955) is an Indian-American mathematician who specializes in number theory. He works as a professor of mathematics at the University of Florida, and was chair of the mathematics department there from 1998 to ...
and Charles Grinstead). The
decimal representation
A decimal representation of a non-negative real number is its expression as a sequence of symbols consisting of decimal digits traditionally written with a single separator:
r = b_k b_\ldots b_0.a_1a_2\ldots
Here is the decimal separator, is ...
of the Alladi–Grinstead constant begins,
0.80939402054063913071793188059409131721595399242500030424202871504... .
The exact value of the constant can be written as the
exponential
Exponential may refer to any of several mathematical topics related to exponentiation, including:
*Exponential function, also:
**Matrix exponential, the matrix analogue to the above
* Exponential decay, decrease at a rate proportional to value
*Exp ...
of a certain
infinite series
In mathematics, a series is, roughly speaking, a description of the operation of adding infinitely many quantities, one after the other, to a given starting quantity. The study of series is a major part of calculus and its generalization, math ...
. Explicitly,
where
is given by
This sum can alternatively be expressed as follows,
writing
for the
Riemann zeta function
The Riemann zeta function or Euler–Riemann zeta function, denoted by the Greek letter (zeta), is a mathematical function of a complex variable defined as \zeta(s) = \sum_^\infty \frac = \frac + \frac + \frac + \cdots for \operatorname(s) > ...
:
This series for the constant
converges more rapidly than the one before.
The function
is constant over stretches of
, but jumps from 5 to 7, skipping the value 6. Erdős raised the question of how large the gaps in the sequence of
can grow, and how long the constant stretches can be.
[{{Cite book, title=Computers in Number Theory, last=Erdős, first=Paul, authorlink=Paul Erdős , publisher=]Academic Press
Academic Press (AP) is an academic book publisher founded in 1941. It was acquired by Harcourt, Brace & World in 1969. Reed Elsevier bought Harcourt in 2000, and Academic Press is now an imprint of Elsevier.
Academic Press publishes reference ...
, year=1971, isbn=, location=, pages=405–414, chapter=Some problems in number theory
References
Factorial and binomial topics