MathDB

Let

0<a_1<a_2< \dots < a_{mn+1}

mn+1

integers. Prove that you can select either

m+1

of them no one of which divides any other, or

n+1

of them each dividing the following one.

B4