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 é: