OFFSET
1
LINKS
FORMULA
a(n) >= A379475(n).
PROG
CROSSREFS
KEYWORD
nonn
AUTHOR
Antti Karttunen, Dec 23 2024
STATUS
approved
