exo7 3003

Soit \(G\) un groupe fini de cardinal \(n\). Montrer qu’il existe une partie génératrice de \(G\) de cardinal inférieur ou égal à \(\log_2(n)\).