MathDB
f(n) | f(m) - n iff n | m for all n,m

Source: 2022 Dutch BxMO TST p1

December 3, 2022
number theoryfunctional

Problem Statement

Find all functions f:Z>0Z>0f : Z_{>0} \to Z_{>0} for which f(n)f(m)nf(n) | f(m) - n if and only if nmn | m for all natural numbers mm and nn.