Problem 4
Prove that there is no function from the set of non-negative integers into itself such that for every non-negative integer .
Step 5 of 5: Contradiction
In plain words
An integer cannot be half of one.
Detailed analysis
The original equation says . Comparing with the previous step gives , impossible for an integer . Thus cannot exist.