第1問

$n=5$ では $a_1\ge a_2\ge a_3\ge a_4\ge a_5$ と並べる。最初の2項の和は表示した積である。因子 $a_1-a_2$ は非負で、最初の三因子積の各因子は対応する第二の積以上なので、この和は非負である。