Se, para \( n ∈ \mathbb N \) , a_n representa o termo geral de uma progressão aritmética de razão igual a \( -{ \large 1 \over 2} \) , e \( f: \mathbb R \rightarrow \mathbb R \) é a função definida por f(x) = 9^x, então a sequência cujo termo geral b_n, \( n ∈ \mathbb N \) , é definido por b_n = f(a_n) é uma progressão