年度中死亡に対し、その瞬間に保険金 $1$ を支払う $n$ 年定期保険の現価 $\bar{A}^1_{x:\bar{n|}}$ の積分表示はどれか。

各時点 $t$ での死亡確率密度 ${}_tp_x \mu_{x+t}$ を現価係数 $v^t$ で割り引いて期間積分する。