Lubell–Yamamoto–Meshalkin inequality