Determine the smallest real constant with the following property:
For any five arbitrary positive real numbers , which do not necessarily have to be distinct, there always exist pairwise different indices such that
holds.
Solution
The desired value is .
First, we prove that . To do this, we assume without loss of generality (oBdA) that and consider the five fractions . By the pigeonhole principle, at least three of these fractions lie in one of the intervals ]0, ] or . Among these, two fractions are consecutive in the list or the first and the last fraction are included. In any case, the positive difference between these two fractions is less than , and the four involved indices are pairwise distinct.
Now we show that . For this, consider the example 1, 2, 2, 2, , where is a very large number. With these numbers, we can form the fractions , ordered by size. According to the problem statement, and cannot both be chosen. Therefore, the smallest positive difference is , which approaches the value from below as .