Complements of finite sets of integers (Q2533023)

Let \(A\) be a set of nonnegative integers, \(0\in A\). The set \(B\) is called a complement of \(A\) if \(A + B = I\). We define \(c(A) = \inf d(B)\) where \(B\) ranges over all complements of \(A\) whose density \(d(B) = \displaystyle\lim_{n\to\infty} B(n)/n\) exists. The author shows \[ c(A) = \inf_{A + B = I} \underline d(B) = \inf_{A + B = I} \overline d(B) \] where \(\underline d\) and \(\overline d\) denote lower and upper density, respectively. The author sets \(c_k= \underset{\vert A\vert = k}{\operatorname{lub}} c(A)\) and shows \(c_3 =2/5\), \(c_k \sim (\log k)/k\).