Commuting limits in relating the harmonic series to coprimality densities Let $f(n, q)$ be the reciprocal proportion of naturals less than $n$ which are not divisible by any prime less than $q$. Note that $\displaystyle \lim_{q \to \infty} f(n, q) = n$, while $\displaystyle \lim_{n \to \infty} f(n, q)$ is the sum of the reciprocals of those positive integers with prime factors all less than $q$. Thus, $\displaystyle \lim_{n \to \infty} \lim_{q \to \infty} f(n, q) = \infty$, while $\displaystyle \lim_{q \to \infty} \lim_{n \to \infty} f(n, q)$ is the harmonic series.
Given that we already know the harmonic series diverges, we may conclude that these limits commute, but is there any way to reason in the opposite order? That is, is there any good (independent) reason that these limits should commute, such that we can conclude via this reasoning that the harmonic series must diverge? As a particular question along these lines, do we in fact have the more general $\displaystyle \lim_{(n, q) \to (\infty, \infty)} f(n, q) = \infty$?
Edit: Thanks to "so-called friend Don", for answering this last question (about the general limit) in the affirmative, given (essentially) the fact that $\displaystyle \lim_{q \to \infty} \lim_{n \to \infty} f(n, q) = \infty$. My main question remains whether there is any "independent" reason the two iterated limits should be equal, so that we can noncircularly derive $\displaystyle \lim_{q \to \infty} \lim_{n \to \infty} f(n, q) = \infty$ from $\displaystyle \lim_{n \to \infty} \lim_{q \to \infty} f(n, q) = \infty$.
 A: I think Greg might be answering a more difficult question. Let $z(n,q)=\min\{q,\log{n}\}$. By the sieve of Eratosthenes --- basically just inclusion-exclusion --- one can show that the proportion of natural numbers in $[1,n]$ not divisible by any prime up to $z(n,q)$ is (as $n\to\infty$) asymptotically $\prod_{p \leq z(n,q)} (1-1/p)$, uniformly in $q$. Note that this proportion is an upper bound on $f(n,q)^{-1}$.
Under your conditions, $z(n,q)\to \infty$, and so the product goes to zero since the sum of the reciprocals of the primes diverges. So yes, $f(n,q) \to\infty$ whenever $q,n\to\infty$.
A: I believe it's true that the number of integers up to $n$ that are not divisible by any prime less than $q$ is always at least
$$
(1+o(1)) \frac{e^\gamma}2 n \prod_{p<q} \bigg( 1-\frac1p \bigg).
$$
(This should follow from results about the Buchstab function, in particular that its minimum value is $\frac12$.) In particular, when $n$ and $q$ are large enough, the proportion of such integers is at least $\frac12 \prod_{p<q} ( 1-\frac1p )$, which tends to $0$ as $q\to\infty$. So I think this is an answer to your last question. (Of course it uses the fact that the reciprocal sum of the primes diverges, which seems weird in an attempt to prove that the harmonic series diverges - there's a more direct implication...!)
