IMO 1971 Problem 1 Day 1 Let En=(a1−a2)(a1−a3)…(a1−an)+(a2−a1)(a2−a3)…(a2−an)+…+(an−a1)(an−a2)…(an−an−1).E_n=(a_1-a_2)(a_1-a_3)\ldots(a_1-a_n)+(a_2-a_1)(a_2-a_3)\ldots(a_2-a_n)+\ldots+(a_n-a_1)(a_n-a_2)\ldots(a_n-a_{n-1}).En=(a1−a2)(a1−a3)…(a1−an)+(a2−a1)(a2−a3)…(a2−an)+…+(an−a1)(an−a2)…(an−an−1). Let SnS_nSn be the proposition that En≥0E_n\ge0En≥0 for all real aia_iai . Prove that SnS_nSn is true for n=3n=3n=3 and 555 , but for no other n>2n>2n>2 . Dataset text AI-MO AoPS. Quoted with source. Solutions No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label. Add a solution NextProblem 2 Locator imo/1971/p1 · Tag EE22T3GF5Y · Edit this page on GitHub · Keys: j next, k previous