Um ente federativo, por meio da previdência funcional, deseja
simular um formato de plano de aposentadoria adicional para os
servidores em abono permanência, com direito à paridade, que
garanta, para um indivíduo de idade inicial x, enquanto
permanecer vivo, uma renda imediata postecipada crescente de
valor inicial igual a R0, cujos recebimentos anuais formam uma
progressão aritmética (PA) de razão constante e igual a 2% de R0,
durante exatamente n anos. O valor de R0 está baseado no salário
atual e o parâmetro 2% está baseado na previsão de reajuste
salarial real anual dos servidores ativos previsto para os próximos
n anos. No entanto, o novo tipo de benefício contempla, passada
a temporariedade da renda inicial, uma nova renda imediata
anual postecipada, desta vez constante e vitalícia, de valor
equivalente e limitado ao último recebimento da renda crescente
em PA.
Desconsiderando-se os encargos do plano, a expressão que
equivale, em termos de funções de comutação, ao valor da
contribuição à vista desta nova opção de previdência é: