Shalev's Engel word-map conjecture
Shalev's conjecture. For every finite simple non-abelian group GGG and every n≥1n\geq 1n≥1, the nnn-th Engel word map