Jabarkan log M(n) ≤ n/e dari Grup terbangkit terbatas

dengan e adalah bilangan Euler (Edmund Landau membuktikan perkiraan asimtotik yang lebih tepat log M(n) ~ (n log n)1/2).  Faktanya jika siklus dalam dekomposisi siklus dari permutasi memiliki panjang N1, ..., Nk dengan N1 + ··· + Nk = n, maka urutan permutasi membagi hasil kali N1 ··· Nk, yang pada gilirannya dibatasi oleh (n/k)k, menggunakan ketaksamaan purata aritmetika dan geometrik. Sebaliknya, (n/x)x dimaksimalkan ketika x = e. Jika F2 dapat ditulis sebagai produk dari subgrup siklik m, maka n! harus kurang dari atau sama dengan M(n)m untuk semua n yang bertentangan dengan rumus asimtotik Stirling.