Compare product size to a factor

~6 min

Multiplying by a fraction less than one makes the product smaller than the other factor.