Изменения

<tex>2)</tex> При <tex>k>2</tex> будем вести индукцию по <tex>k</tex> с доказанной выше базой <tex>k=2</tex>. При <tex>k>2</tex> мы докажем неравенство

<tex>r_m(n_1,\ldots ,n_k) \le q=r_m(r_m(n_1,\ldots ,n_{k-1}),n_k)</tex>