Alvino–Ferone–Trombetti's conjecture. Every extremal function uuu for inequality (1.1) is of the form