Harvey, this looks very good, but what properties of the set of primes are actually needed for this result? Will any infinite set of a similar asymptotic density work?