「$n$ 年間支払の即時有期年金現価」を $\ddot{a}_{x:\overline{n|}}$ としたとき、$\ddot{a}_{x:\overline{n|}} = 1 + v p_x \ddot{a}_{x+1:\overline{n-1|}}$ の関係を。

当期の支払分(1)と、来期以降の期待値を現在の価値に引き戻したものの和として表す基本公式。