OFFSET
1,3
LINKS
FORMULA
a(n+1)-n <= a(n) <= n*(n-1)/2, with equality in the second part if and only if n <= 26 = largest k such that A393938(k,2) > 0. The first part is equivalent to n*(n-1)/2 - a(n) being nondecreasing.
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Pontus von Brömssen, Mar 19 2026
STATUS
approved
