“…Fifteen years later, Lieb [95] went farther, proving that all maximizers are in fact gaussians. Much more recently, in 2014, Christ [45] obtained a stabler form of uniqueness of maximizers, and a sharper inequality: If 1 < p < 2 and d ≥ 1, then there exists c = c(p, d) > 0 such that, for any nonzero f ∈ L p ,…”