Problem 5
Let be an injective function from into itself. Prove that for any we have .
Step 1 of 4: Restrict to the first n values
In plain words
The problem is a weighted sum of n distinct positive integers.
Detailed analysis
The numbers are distinct positive integers because is injective.