OFFSET
0,4
LINKS
Index entries for linear recurrences with constant coefficients, signature (10,-45,120,-210,252,-210,120,-45,10,-1).
FORMULA
a(n) = n^9 - (n^3 * (1 + n)^3 * (5n - 2)^3)/216.
a(n) = n^9 - (n^3 - binomial(n, 3))^3.
G.f.: x^3*(2107 + 25074*x + 65625*x^2 + 49300*x^3 + 10335*x^4 + 438*x^5 + x^6)/(1 - x)^10. - Stefano Spezia, Nov 23 2025
MATHEMATICA
a[n_, d_] := a[n, d] = AnyTrue[#, OrderedQ[#, Less] &] & /@ Tuples[Range[1, n], {d, d}] // Boole // Total;
Table[a[n, 3], {n, 0, 7}]
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Robert P. P. McKone, Nov 23 2025
STATUS
approved
