It's a simple density in the integers. Either globally: Proposition P is true for n of the numbers from 1:N -> p(P,N) = n/N or locally: Proposition P is tru

It's a simple density in the integers. Either globally: Proposition P is true for n of the numbers from 1:N -> p(P,N) = n/N or locally: Proposition P is true for n of the numbers from N-k to N+k -> p(P, N, k) = n/k and pick a reasonable k (where p(P, N, K) is relatively stable for a neighborhood around k)