OFFSET
1,3
COMMENTS
Madhusudan et al. (2018) conjectured that a(112) = 1772 is the last term of this sequence.
LINKS
Amiram Eldar, Table of n, a(n) for n = 1..112
Parthasarathy Madhusudan, Dirk Nowotka, Aayush Rajasekaran and Jeffrey Shallit, Lagrange's Theorem for Binary Squares, in: I. Potapov, P. Spirakis and J. Worrell (eds.), 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018), Schloss Dagstuhl, 2018, pp. 18:1-18:14; arXiv preprint, arXiv:1710.04247 [math.NT], 2017-2018.
MATHEMATICA
v = Table[n + n * 2^Floor[Log2[n] + 1], {n, 1, 31}]; Complement[Range[0, 2000], Plus @@@ Tuples[v, 4]]
CROSSREFS
KEYWORD
nonn
AUTHOR
Amiram Eldar, Apr 09 2021
STATUS
approved