Lubell–Yamamoto–Meshalkin inequality (source code)

= Lubell–Yamamoto–Meshalkin inequality
{wiki=Lubell–Yamamoto–Meshalkin_inequality}