Se a sequência de números reais positivos x₁, x₂, x₃,...,x_n,... é uma progressão geométrica de razão igual a q, então a sequência y₁, y₂, y₃,...,y_n,... definida para todo n natural por y_n = logx_n é uma progressão