Problem

Source: 2016 KJMO #7

Tags: algebra, inequalities



positive integers $a_1, a_2, . . . , a_9$ satisfying $a_1+a_2+ . . . +a_9 =90$ find maximum of $$\frac{1^{a_1} \cdot 2^{a_2} \cdot . . . \cdot 9^{a_9}}{a_1! \cdot a_2! \cdot . . . \cdot a_9!}$$

HIDE: mention I was really shocked because there are no inequality problems at KJMO and the test difficulty even more lower...