Problem:
For a sequence of integers, a pair with is called interesting if there exists a pair of integers with such that
For each , find the largest possible number of interesting pairs in a sequence of length .
Problem:
For a sequence of integers, a pair with is called interesting if there exists a pair of integers with such that
For each , find the largest possible number of interesting pairs in a sequence of length .
Solution:
Answer. .
Consider the numbers for and , and choose any pair with .
If , the pair is interesting for all , as .
If , the pair is also interesting for all such that , since .
In addition, the pair is interesting, as .
Hence, all pairs in which , and additionally the pair , are interesting, giving pairs in total.
Now, let's show that there can't be more interesting pairs. To this end we show that at least pairs are not interesting. Clearly, the pair is not interesting.
Let's make the following observation: if a pair is interesting and it's not , then can't exceed . (Since, if is interesting then for some pair . If then we would have , which is not possible.)
Finally, for any consider pairs and . If both of them are interesting, then, following the observation above, the only possibility is . Clearly, this is possible for at most one , so for all other values of , at least one of pairs and is not interesting. Combining with the pair , we get at least not interesting pairs in total, as desired.