[obm-l] Re: [obm-l] Progressão Aritmetica

*a)* Seja m = min{f(N)}. (m está bem definido, Boa Ordem) Seja a tal que f(a) = m(a está bem definido, pois f é injetiva) Considere agora todas as as progressões (a, a + d, a + 2d). Se para algum d tivermos f(a + d) < f(a + 2d), acabou. Suponha que para todo d, tenhamos f(a + d) > f(a +

[obm-l] Progressão Aritmetica

Desde já agradeço qualquer idéia ou ajuda Seja [image: $f: \mathbb{N} \rightarrow \mathbb{N}$] uma função Injetiva a) Mostre que existe uma progressão aritmética de três termos [image: $a$], [image: $a+d$], [image: $a+2d$] tal que: [image: $f(a)