OFFSET
8,1
COMMENTS
Initial terms computed by Mia Muessig.
FORMULA
a(17) >= 281, a(18) >= 310, a(19) >= 338, a(20) >= 370.
CROSSREFS
KEYWORD
nonn,more
AUTHOR
John King, Sep 09 2024
STATUS
approved