2012 Shortlist sorularının hepsinin cevabı biliniyor. Gene de buraya cevabı ekliyorum. Çözüm Aritmetik-geometrik Ortalama eşitsizliğine ve 1 sayısını \frac{1}{k} sayısının k tanesinin toplamı olarak yazma fikrine dayanıyor.
(\frac{1+a_2}{2})^2 \ge a_2
(\frac{\frac{1}{2}+\frac{1}{2}+a_3}{3})^3 \ge \frac{1}{2^2}a_3
(\frac{\frac{1}{3}+\frac{1}{3}+\frac{1}{3}+a_4}{4})^4 \ge \frac{1}{3^3}a_4
\cdots
(\frac{\frac{1}{n-1}+\frac{1}{n-1}+\cdots + \frac{1}{n-1}+a_n}{n})^n \ge \frac{1}{(n-1)^{n-1}}a_n
Bu eşitsizlikler taraf, tarafa çarpılır, gerekli kısaltmalar yapılır ve a_2a_3 \cdots a_n=1 olduğu göz önüne alınırsa
(1+a_2)^2 (1+a_3)^3\cdots (1+a_n)^n \ge n^n
bulunur. Eşitliğin olması için a_2=1, a_3=\frac{1}{2}, \cdots, a_n=\frac{1}{2} olması gerekir. Fakat bu durumda a_2a_3 \cdots a_n=1 olamaz. O halde eşitsizlik kesindir.