Problem 2
Let be positive integers with . Prove that .
Step 4 of 4: Multiply the bounds
Detailed analysis
All paired factors are positive, so multiplying the termwise inequalities preserves the order. Using the product identity from the first step gives exactly .