Problem

Source:

Tags: induction



Prove that every infinite sequence $S$ of distinct positive integers contains either an infinite subsequence such that for every pair of terms, neither term ever divides the other, or an infinite subsequence such that in every pair of terms, one always divides the other.