Find the smallest real constant such that for any positive real numbers and (not necessarily distinct), one can always choose distinct subscripts and such that .
Solution
See IMO 2016 shortlist, problem A2.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.