The natural density (or asymptotic density) of a set of positive
integers, if it exists, is
The lower and upper natural densities are obtained by replacing the limit with the infimum limit and supremum
limit, respectively. The natural density exists exactly when these two quantities
are equal (Nathanson and Parikh 2007, p. 152).
Nathanson, M. B. and Parikh, R. "Density of Sets of Natural Numbers and the Lévy Group." J. Number Th.124,
151-158, 2007. https://doi.org/10.1016/j.jnt.2006.09.001.