Holley inequality