✦ 5 frontiers

read-only vieweressays

erdős #1160

← #1159 · #1161 → (packet.json; erdosproblems.com)

Let $g (n)$ denote the number of groups of order $n$ . If $n \leq 2^{m}$ then $g (n) \leq g (2^{m})$ .

Worked, still open.

group theory · open · 0 attempts

use this record

vela registry pull vfr_37aec80d874a0239

vela reproduce examples/erdos-problems

oeis

A000001 — Number of groups of order n.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

links

Create a formalisation here · link

status

open

finding.noted · reviewer:will-blair · 1 day

renders the record as of vev_d199cb2e · 1,338 events · hub