A bound for Dickson's lemma

Josef Berger, Helmut Schwichtenberg

We consider a special case of Dickson's lemma: for any two functions $f,g$ on the natural numbers there are two numbers $i<j$ such that both $f$ and $g$ weakly increase on them, i.…