Вы уверены? Обычно в актуарных расчетах benefit b - это выплаты. (см. например, Фалина)