Description: An ordinal is less than or equal to its product with another. Lemma 3.12 of Schloeder p. 9. (Contributed by NM, 21-Dec-2004)