Page "Ramsey's theorem" Paragraph 16

We prove that R ( r, s ) exists by finding an explicit bound for it.

By the inductive hypothesis R ( r − 1, s ) and R ( r, s − 1 ) exist.