The LEF conjecture for nilpotent products
The LEF nilpotent-product conjecture. For each k≥1k\geq 1k≥1, the kkk-nilpotent product of a finite family of LEF groups is LEF.