On complete sequences (Q343303)

A sequence \(A\) of nonnegative integers is called complete if the set of all integers which can be represented as the sum of distinct terms of \(A\) contains all sufficiently large integers. For a sequence \(S=\{s_1, s_2, \dots\}\) of positive integers and a positive real number \(\alpha\), let \(S_\alpha\) denote the sequence \(\{\lfloor \alpha s_1\rfloor, \lfloor \alpha s_2\rfloor, \dots\}\), where \(\lfloor{x}\rfloor\) denotes the greatest integer not greater than \(x\). Let \(U_S=\{\alpha\mid S_\alpha \text{ is complete}\}\). \textit{N. Hegyvári} [J. Number Theory 54, No. 2, 248--260 (1995; Zbl 0841.11007)] proved that if \(\lim_{n\to\infty}(s_{n+1}-s_n)=+\infty\), \(s_{n+1}<\gamma s_n\) for all sufficiently large integers \(n\), where \(1<\gamma<2\), and \(U_S\neq\emptyset\), then \(\mu(U_S)>0\), where \(\mu(U_S)\) is the Lebesgue measure of \(U_S\). \textit{Y.-G. Chen} and \textit{J.-H. Fang} [J. Number Theory 133, No. 9, 2857--2862 (2013; Zbl 1364.11021)] generalized it and proved that, if \(s_{n+1}<\gamma s_n\) for all sufficiently large integers \(n\), where \(1<\gamma\leqq 7/4=1.75\), then \(\mu(U_S)>0\). In this paper, the authors prove that, if \(s_{n+1}<\gamma s_n\) for all sufficiently large integers \(n\), where \(1<\gamma\leq \root 4\of {13}=1.898\ldots\).