ISL 2022 A4 Let n⩾3n \geqslant 3n⩾3 be an integer, and let x1,x2,…,xnx_{1}, x_{2}, \ldots, x_{n}x1,x2,…,xn be real numbers in the interval [0,1][0,1][0,1]. Let s=x1+x2+…+xns=x_{1}+x_{2}+\ldots+x_{n}s=x1+x2+…+xn, and assume that s⩾3s \geqslant 3s⩾3. Prove that there exist integers iii and jjj with 1⩽i<j⩽n1 \leqslant i<j \leqslant n1⩽i<j⩽n such that 2j−ixixj>2s−32^{j-i} x_{i} x_{j}>2^{s-3}2j−ixixj>2s−3 (Trinidad and Tobago) Dataset text NuminaMath olympiads. 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 PreviousN3 NextC4 Locator isl/2022/a4 · Tag QQ78HB2HG0 · Edit this page on GitHub · Keys: j next, k previous