Contractive inclusions between spaces of analytic functions have attracted the attention of the experts because of their multiple applications. For this work is especially relevant the following inequality, which was conjectured by Brevig, Ortega-Cerdà, Seip and Zhao [1]} and Lieb and Solovej [2]} and recently proved by Kulikov [3]}.
