3人の被保険者 $(x), (y), (z)$ のうち、少なくとも2人が生存している期間支払われる年金の現価式はどれか。

包含排除の原理を適用し、2人以上の生存組み合わせを足し、3人重複分を調整して算出する。