1 problem

Heim–Neuhauser conjecture. For all $x\geq 2$,