Problem

Source: 2021 Korea Winter Program Practice Test

Tags: number theory, IMO Shortlist



Does there exist such infinite set of positive integers $S$ that satisfies the condition below? *for all $a,b$ in $S$, there exists an odd integer $k$ that $a$ divides $b^k+1$.