自然数上を動くn個の変数x1,x2・・・,xnが
x1 + x2 + ・・・ + xn = M である(和が一定、無論 M ≧ n )。
この条件の下で変数の積 x1 * x2 * ・・・ * xn を最大にする
値の組み合わせ (x1 , x2 , ・・・ , xn) は | xi - xj | ≦ 1 (∀i,j)
であることを示せ。

(意訳: x1 * x2 * ・・・ * xn を最大にするには手持ちのM個の資源を
 n個の変数に出来るだけ均等に配分する必要があることを示せ。 )