OFFSET
1,2
COMMENTS
Conjecture: a(n) > 0 for all n > 0. Equivalently, any positive integer n can be written as a^2 + b*(b+1) + 2^c*5^(3d) with a,b,c,d nonnegative integers.
This was motivated by A308584, and we verified a(n) > 0 for all n = 1..2*10^8. Then, on the author's request, Giovanni Resta verified the above conjecture for n up to 10^10. G. Resta also noted that 7272774228 cannot be written as a*(a+1)/2 + b*(b+1)/2 + 2^c*250^d with a,b,c,d nonnegative integers.
LINKS
Zhi-Wei Sun, Table of n, a(n) for n = 1..10000
EXAMPLE
a(1) = 1 with 1 = 0*1/2 + 0*1/2 + 2^0*5^(3*0).
a(78210) = 1 with 78210 = 85*86/2 + 385*386/2 + 2*5^3.
MATHEMATICA
TQ[n_]:=TQ[n]=IntegerQ[Sqrt[8n+1]];
tab={}; Do[r=0; Do[If[TQ[n-5^(3k)*2^m-x(x+1)/2], r=r+1], {k, 0, Log[5, n]/3}, {m, 0, Log[2, n/5^(3k)]}, {x, 0, (Sqrt[4(n-5^(3k)*2^m)+1]-1)/2}]; tab=Append[tab, r], {n, 1, 100}]; Print[tab]
CROSSREFS
KEYWORD
nonn
AUTHOR
Zhi-Wei Sun, Jun 11 2019
STATUS
approved