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