Problem

Source: ITAmo 2017

Tags: number theory, algebra, Ramsey Theory, combinatorics



Let $ x_1 , x_2, x_3 ...$ a succession of positive integers such that for every couple of positive integers $(m,n)$ we have $ x_{mn} \neq x_{m(n+1)}$ . Prove that there exists a positive integer $i$ such that $x_i \ge 2017 $.