Rentenbarwertfaktor, Formel