OFFSET
0,4
COMMENTS
Suppose that s = (s(n)) and t = (t(n)) are sequences of numbers and r > 0. The lower (r)-midsequence of s and t is given by u = floor(r*(s + t)); the upper r-midsequence of s and t is given by v = ceiling(r*(s + t)). If s and t are linearly recurrent and r is rational, then u and v are linearly recurrent.
LINKS
Index entries for linear recurrences with constant coefficients, signature (4,-6,3,3,-6,3,3,-6,4,-1).
FORMULA
a(n) = ceiling((n^3 - n)/18).
a(n) = 4*a(n-1) - 6*a(n-2) + 3*a(n-3) + 3*a(n-4) - 6*a(n-5) + 3*a(n-6) + 3*a(n-7) - 6*a(n-8) + 4*a(n-9) - a(n-10), with (a(0),...,a(9)) = (0, 0, 1, 2, 4, 7, 12, 19, 28, 40).
EXAMPLE
s = binomial(n,3) = (0, 0, 0, 1, 4, 10, 20, 35, 56, ...).
t = binomial(n,2) = (0, 0, 1, 3, 6, 10, 15, 21, 28, ...).
u(n) = floor((1/3)*(0+0, 0+0, 0+1, 1+3, 4+6, 10+10, ...)) = (0, 0, 0, 1, 3, 6, 11, 18, ...).
v(n) = ceiling((1/3)*(0+0, 0+0, 0+1, 1+3, 4+6, 10+10, ...)) = (0, 0, 1, 2, 4, 7, 12, 19, ...).
MATHEMATICA
PROG
(Python)
def A390344(n): return (lambda d:d[0]+bool(d[1]))(divmod(n*(n**2-1), 18)) # Chai Wah Wu, Nov 09 2025
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Clark Kimberling, Nov 07 2025
STATUS
approved
