In combinatorial mathematics, the Lubell–Yamamoto–Meshalkin inequality, more commonly known as the LYM inequality, is an inequality on the sizes of sets in a Sperner family, proved by Bollobás, Lubell, Meshalkin, and Yamamoto. It is named for the... Wikipedia