Partitioning a natural number $n$ in order to get the maximum product sequence of its addends

Suppose we have a natural number $n \ge 0$.

Given natural numbers $\alpha_1,\ldots,\alpha_k$ such that

• $k\le n$
• $\sum_i \alpha_i = n$

what is the maximum value that $\Pi_i \alpha_i$ can take?

I'm quite sure that there is a theorem telling me the result, but I cannot find it. For sure an upper bound is $n^k$ but I'm searching for a real upper bound. I'm pretty sure that upper the bound should be $n^2$, but I don't know I could prove it.

• The upper bound is much bigger than $n^2$. Suppose $n$ is even. Then $n = 2+2+\cdots+2$, and the product is $2^{n/2}$. If $n$ is odd you can take $n = 2+2+\cdots+3$ and get $3\cdot2^{(n-1)/2}$. – MJD Mar 27 '12 at 14:04
• If you partition $n$ into about $\sqrt n$ parts of size about $\sqrt n$, then the product is $n^{{1\over2}{\sqrt n}}$, which is pretty big, even bigger than $2^{n/2}$ for certain $n$. – MJD Mar 27 '12 at 14:17
• OEIS A000792 – Henry Sep 12 '17 at 9:53

Using the fact that for real $x$, the function $x(k-x)$ rises steadily to a maximum at $x=k/2$, and then falls, we can see that for a maximum no part can be $\ge 5$. (If $k \ge 5$, we can always do better by splitting as $a +(k-a)$, where $a$ is the nearest integer to $k/2$.)

Note also that the splitting $6=3+3$ gives a greater product than $6=2+2+2$, and that whether we split $4$ as $2+2$ or not doesn't matter. So without loss of generality we can assume $3$'s and $2$'s, and no more than two $2$'s.

Thus if $n$ is divisible by $3$, use all $3$'s. If $n \equiv 2 \pmod{3}$, use one $2$ and the rest $3$'s. If $n\equiv 1\pmod {3}$, and $n>1$, use two $2$'s (or one $4$) and the rest $3$'s.

• which for $n \gt 1$ gives an upper bound of $\sqrt{3^n}={3^{n/3}}$ and a lower bound for the maximum product of $\sqrt{\dfrac{4^3}{3^4}} =\dfrac{4}{3^{4/3}} \approx 0.92448$ times the upper bound – Henry Sep 12 '17 at 10:06

Since the maximum product of two positive integers with fixed sum occurs when the factors are as equal as possible, the same is true if there are more than two factors (consider equalizing two of the summands/factors to increase the product where possible).

If we simply wanted a realistic upper bound for fixed number $k$ of factors/summands, without the trouble of worrying over divisibility, then consider the real version of the problem and the maximum product $(n/k)^k$.

If we then want to choose integer $k \ge 1$ which maximizes that, we can look at the logarithm of the product for simplicity:

$$k \ln(n/k) = k (\ln n - \ln k)$$

A little calculus shows this is a unimodal function with respect to $k$ whose peak occurs around $k = n/e$.