On a problem in additive number theory (Q5906577)

Let \(\mathcal A\) and \(\mathcal B\) be infinite sequences of non-negative integers with respective counting functions denoted by \(A(x)\) and \(B(x)\). Let \(f(n)\) be the number of solutions of \(n= a+b\) with \(a\in\mathcal A\) and \(b\in\mathcal B\). The authors prove a conjecture of \textit{L. Danzer} [J. Reine Angew. Math. 214/215, 392--394 (1964; Zbl 0126.27902)] that if \(f(n)\geq 1\) for \(n>n_ 0\) and \(\limsup_{x\to \infty} {{A(x) B(x)} \over x}\leq 1\) then \[ \liminf_{x\to \infty} (A(x) B(x) -x)= \infty. \] The proof, though elementary, is ingenious.