olymmath

IMO 2012 Problem 2

  • Day 1

Let n≥3n\ge 3 be an integer, and let a2,a3,…,ana_2,a_3,\ldots ,a_n be positive real numbers such that a2a3⋯an=1a_{2}a_{3}\cdots a_{n}=1 . Prove that (1+a2)2(1+a3)3⋯(1+an)n>nn.(1 + a_2)^2 (1 + a_3)^3 \dotsm (1 + a_n)^n > n^n.

Proposed by Angelo Di Pasquale, Australia

Dataset text AI-MO AoPS. Quoted with source.

Official text: IMO 2012 official English paper, page 1.

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

Locator imo/2012/p2 · Tag 3SYCAEKBAG · Edit this page on GitHub · Keys: j next, k previous