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.