OFFSET
1,1
LINKS
FORMULA
a(n) <= A242731(n).
CROSSREFS
KEYWORD
nonn,fini
AUTHOR
Felix Fröhlich, May 05 2021
STATUS
approved