Um ente federativo, por meio da previdência funcional, desej...

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 R₀, cujos recebimentos anuais formam uma progressão aritmética (PA) de razão constante e igual a 2% de R₀, durante exatamente n anos. O valor de R₀ 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 é: