{"schema":"vela.problem-packet.v0.1","problem":1160,"statement":"Let $g(n)$ denote the number of groups of order $n$. If $n\\leq 2^m$ then $g(n)\\leq g(2^m)$.","status":"open","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A000001","name":"Number of groups of order n.","terms":"0,1,1,1,2,1,2,1,5,2,2,1,5,1,2,1,14,1,5,1,5,2,2,1,15,2,2,5,4,1,4,1,51,1,2,1,14,1,2,2,14,1,6,1,4,2,2,1,52,2,5,1,5,1,15,2,1","url":"https://oeis.org/A000001"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}