OFFSET
1,3
COMMENTS
Conjecture: a(n) > 0 for all n > 1.
We have verified a(n) > 0 for all 1 < n <= 2*10^7.
Conjecture verified up to 10^10. - Giovanni Resta, Apr 21 2021
LINKS
Zhi-Wei Sun, Table of n, a(n) for n = 1..10000
EXAMPLE
a(2) = 1 with 2 = 0^4 + T(0)^2 + T(0) + 2^1.
a(7) = 3, and 7 = 0^4 + T(0)^2 + T(2) + 2^2 = 1^4 + T(1)^2 + T(1) + 2^2 = 1^4 + T(1)^2 + T(2) + 2^1.
MATHEMATICA
TQ[n_]:=TQ[n]=IntegerQ[Sqrt[8n+1]];
tab={}; Do[r=0; Do[If[TQ[n-x^4-(y(y+1)/2)^2-2^k], r=r+1], {x, 0, (n-1)^(1/4)}, {y, 0, (Sqrt[8*Sqrt[n-x^4-1]+1]-1)/2}, {k, 1, Log[2, n-x^4-(y(y+1)/2)^2]}]; tab=Append[tab, r], {n, 1, 90}]; Print[tab]
CROSSREFS
KEYWORD
nonn
AUTHOR
Zhi-Wei Sun, Apr 18 2021
STATUS
approved