OFFSET
1,4
LINKS
FORMULA
a(n) <= A367124(n).
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Pontus von Brömssen, Nov 18 2023
STATUS
approved