Wot n' Minimization
Source: IMO SL 2019 A3
September 23, 2020
algebraIMO ShortlistIMO Shortlist 2019Sequence
Problem Statement
Let be a positive integer and let be a strictly increasing sequence of positive real numbers with sum equal to 2. Let be a subset of such that the value of
is minimised. Prove that there exists a strictly increasing sequence of positive real numbers with sum equal to 2 such that