OFFSET
0,5
FORMULA
a(n) >= A362143(n)/8.
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Pontus von Brömssen, Apr 15 2023
STATUS
approved