OFFSET
0,2
LINKS
EXAMPLE
a(1)=60 since 60 is the smallest order with a single nonsolvable group (the alternating group on 5 letters), and all smaller orders have no nonsolvable groups.
CROSSREFS
KEYWORD
nonn,more,hard
AUTHOR
Robin Jones, Nov 01 2025
STATUS
approved
