Let Z>0 denote the set of positive integers. For any positive integer k, a function f:Z>0→Z>0 is called k-good if gcd(f(m)+n,f(n)+m)≤k for all m=n. Find all k such that there exists a k-good function.Proposed by James Rickards, Canada functionnumber theorygreatest common divisorIMO Shortlist