Lebedev–Milin inequality