Redirecting to Lubell-Yamamoto-Meshalkin inequality