Determine the maximum value of the sum S=n=1∑∞2nn(a1a2⋯an)1/n over all sequences a1,a2,a3,⋯ of nonnegative real numbers satisfying k=1∑∞ak=1.
A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.
Solution
The answer is 2/3.
By AM-GM, we have 2n+1(a1⋯an)1/n=((4a1)(42a2)⋯(4nan))1/n≤n∑k=1n(4kak). Thus 2S≤n=1∑∞4n∑k=1n(4kak)=n=1∑∞k=1∑n(4k−nak)=k=1∑∞n=k∑∞(4k−nak)=k=1∑∞34ak=34 and S≤2/3. Equality is achieved when ak=4k3 for all k, since in this case 4a1=42a2=⋯=4nan for all n.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: Omni-MATH,
licensed Apache-2.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.