IMO 2004 Problem 4 Day 2 Let n≥3n \geq 3n≥3 be an integer. Let t1t_1t1 , t2t_2t2 , ..., tnt_ntn be positive real numbers such that n2+1>(t1+t2+⋯+tn)(1t1+1t2+⋯+1tn).n^2 + 1 > \left( t_1 + t_2 + \cdots + t_n \right) \left( \frac{1}{t_1} + \frac{1}{t_2} + \cdots + \frac{1}{t_n} \right).n2+1>(t1+t2+⋯+tn)(t11+t21+⋯+tn1). Show that tit_iti , tjt_jtj , tkt_ktk are side lengths of a triangle for all iii , jjj , kkk with 1≤i<j<k≤n1 \leq i < j < k \leq n1≤i<j<k≤n . Attachments: Dataset text AI-MO AoPS. Quoted with source. Official text: IMO 2004 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 PreviousProblem 3 NextProblem 5 Locator imo/2004/p4 · Tag XANV4WB82F · Edit this page on GitHub · Keys: j next, k previous