onsidere uma função f: IR?IR, definida por f(x) = 2x + 5.

Se c_n ,? n IN* indica o termo geral de uma progressão aritmética

decrescente, então a sequência de números reais

dn , definida por d₂ = f(c_n ), n ? IN*, é uma progressão