Sorry I meant outputs, autocorrect on my phone is silly.
2n/d' would be less than 2. But it can only be 1 if it's an integer in which case d' = 2n anyway. I don't see yet how this advanced the proof though.
Homework Statement
Let PosZ = {z ∈ Z : z > 0}. Consider the function f : PosZ → PosZ dened as follows:
• f(1) = 1
• If z ∈ PosZ and z > 1 then f(z) is the largest integer that divides z but is distinct from z. (For
example f(41) = 1 and f(36) = 18.)
Prove that f is surjective...