arXiv++ Combinatorics

In this paper we provide proofs of two new theorems that provide a broad class of partition inequalities and that illustrate a naïve version of Andrews' anti-telescoping technique quite well. These new theorems also put to rest any notion that including parts of size 1 is somehow necessary in order to have a valid irreducible partition inequality. In addition, we prove (as a lemma to one of the theorems) a rather nontrivial class of rational functions of three variables has entirely nonnegative power series coefficients.