Prove that the following assertion is true for n=3n = 3 and n=5n = 5, and that it is false for every other natural number n>2n > 2: If a1,a2,,ana_1, a_2, \ldots, a_n are arbitrary real numbers, then (a1a2)(a1a3)(a1an)+(a2a1)(a2a3)(a2an)(a_1 - a_2)(a_1 - a_3) \cdots (a_1 - a_n) + (a_2 - a_1)(a_2 - a_3) \cdots (a_2 - a_n) ++(ana1)(ana2)(anan1)0+ \cdots + (a_n - a_1)(a_n - a_2) \cdots (a_n - a_{n-1}) \geq 0