Dada uma sequência recursiva a_n = 2 * a_{n-1} + 1 para n "e2, com a_1 = 1. A soma dos primeiros n termos desta sequência pode ser obtida por uma fórmula fechada que envolve potências de 2 subtraídas por n. Esta sequência, sendo aritmética-geométrica, pode ser resolvida pelo método da substituição iterada ou por artifícios de linearização, convergindo se a razão de sua parte geométrica for menor que 1, o que não é o caso aqui.