OFFSET
0,8
FORMULA
a(7^k) = floor((k*(7^k-1)+1)/2) = floor(A395463(k)/2).
Property (non-increasing septuplets): a(m*7^k) >= a(m*7^k + 7^(k-1)) >= a(m*7^k + 2*7^(k-1)) >= a(m*7^k + 3*7^(k-1)) >= a(m*7^k + 4*7^(k-1)) >= a(m*7^k + 5*7^(k-1)) >= a(m*7^k + 6*7^(k-1)).
CROSSREFS
KEYWORD
nonn
AUTHOR
A.H.M. Smeets, Apr 23 2026
STATUS
approved
