LYM Inequality