If we're talking about a finite set of the natural numbers, like those between 1 and 500 or 1 and a million, it seems to me that the fraction of numbers in that finite set that have a factor of 5 approaches $1/5$ as the set increases in size. Like roughly $1/2$ of all numbers in such a set have a factor of 2, roughly $1/3$ have a factor of 3, and so on; and this approximation grows less "rough" and more exact as the size of the set increases.
So, can we say that out of the entire set of the natural numbers, exactly $1/5$ are divisible by 5? Or perhaps that the limit of the fraction of the natural numbers less than or equal to a given n divisible by a given integer approaches 1/that integer as n approaches infinity?
(I would love to know how to ask this question with proper notation.)