Q3 Matemática  (Hungary-Israel Binational 1992)

Recebemos sequências estritamente crescentes de inteiros positivos: . Para definimos as seguintes quantidades: o número de elementos de não excedendo ; o número de elementos de não excedendo . Suponha que para todos os e . Prove que existe um par de índices com tal que por pelo menos cinco distinto com