“…The main tools in our approach are recent inequalities due to Kulikov ([10]) and the lemma on convexity of certain integral means of analytic functions ([15]). Let us say that, in [10], Kulikov has proved a conjecture of Pavlović from [14] and [15] and Bayart, Brevig, Haimi, Ortega‐Cerda, and Perfekt from [1], where several results that support this and some other conjectures are provided. Moreover, he proved a more general conjecture of Lieb and Solovej from [11].…”