Problem:
Determine the smallest real constant with the following property:
For any five positive real numbers , which need not necessarily be distinct, it is always possible to find pairwise distinct indices such that
holds.
Problem:
Determine the smallest real constant with the following property:
For any five positive real numbers , which need not necessarily be distinct, it is always possible to find pairwise distinct indices such that
holds.
Solution:
The desired value is .
First we prove that holds. To do this we assume without loss of generality that and consider the five fractions . By the pigeonhole principle, three distinct ones of these fractions lie in one of the intervals resp. , where two of these are either directly consecutive in the listing or the first and the last fraction are among them. In any case, the positive difference of these two fractions is smaller than and the four indices involved are pairwise distinct.
Now we show that holds. For this we consider the example , where is meant to be a gigantic number. With these numbers one can form - ordered by size - the fractions , where according to the problem statement and may not be chosen simultaneously. Therefore the smallest positive difference equals , and this approaches the value from below arbitrarily closely as .