Consider pairs (f,g) of functions from the set of nonnegative integers to itself such that:
- f(0)≥f(1)≥f(2)≥⋯≥f(300)≥0,
- f(0)+f(1)+f(2)+⋯+f(300)≤300,
- for any 20 nonnegative integers n1,n2,…,n20, not necessarily distinct, we have g(n1+n2+⋯+n20)≤f(n1)+f(n2)+⋯+f(n20).
We aim to determine the maximum possible value of g(0)+g(1)+⋯+g(6000) over all such pairs of functions.
The answer is 115440. The construction achieving this maximum is given by:
f(x)=max(24−x,0)
and
g(x)=max(480−x,0).
This construction satisfies all the given conditions and achieves the maximum sum for g(0)+g(1)+⋯+g(6000).
The answer is 115440.