An inequality for sets of integers (Q2653895)

Aus dem Beweis eines Satzes von \textit{A. S. Besicovitch} [J. Lond. Math. Soc. 10, 246--248 (1935; Zbl 0012.39406; JFM 61.1069.02)] über die Dichte der Summe \(\mathfrak C = \mathfrak A + \mathfrak B\) zweier Mengen nichtnegativer ganzer Zahlen arbeitet Verf. die folgenden beiden Sätze heraus: (1) Es sei \(x\in\mathfrak A\) für \(x=0, 1, 2,\ldots h\) \((h\ge 0)\); 0 oder 1 seien in \(\mathfrak B\); \(n\notin\mathfrak C\). Weiter sei \(C(n) < A(n - 1) + B(n)\). Dann gibt es ein \(m\ne\mathfrak C\), \(0 <m < n - h - 1\), so daß \(C(m, n) \ge A(n - m - 1) + B (m, n)\) ist [allgemein sei \(A(x, y)\) die Anzahl der \(a\in\mathfrak A\) mit \(x < a \le y\) und \(A(x) = A(0,x)\). (2) Wieder sei \(\{0, 1, \ldots, h \}\subseteq \mathfrak A\) und 0 oder 1 in \(\mathfrak B\), \(n\notin\mathfrak C\). Weiter sei \(1 > \alpha = \underset{x > h}{\underline{\operatorname{fin}}} A(x)/(x+1) > 0\). Dann gilt \(C(n) \ge \alpha n + B)\). Mit \(h=0\) finden sich diese Aussagen im wesentlichen bereits bei Besicovitch (s. oben), für \(h\ge 0\) bei \textit{P. Erdős} [Ann. Math. (2) 43, 65--68 (1942; JFM 68.0078.01)] ebenfalls mit der Beweisidee von Besicovitch. Leichte Verallgemeinerungen finden sich in des Ref. Buch \glqq Additive Zahlentheorie\grqq{}, Teil I, S. 133--136, Sätze 8--10. Berlin etc.: Springer Verlag (1956; Zbl 0072.03101)] durchgeführt, ebenfalls nach dem Muster des Beweises von Besicovitch.