Problem:
Prove that there exists an infinite sequence of positive integers such that the following condition holds: if and only if .
Solution
Solution:
Enumerate the primes and define
This works by construction. The idea is that you just take every pair you want to not be relatively prime (meaning ) and throw in a prime. You can't do this by using a different prime for every pair (since each must be finite) and you can't use the same prime for a fixed , so you do the next best thing and alternate using even and odd and you're done.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.