I posted this on another forum a while back but nobody was able to prove or disprove this conjecture of mine. I have empirical reasons to believe that it is true.

Let be an infinite subset of the positive integers. Define

.

Prove that, as , , or supply a counter-example.