Premiums and benefits associated with traditional life insurance contracts are usually specified as fixed amounts in policy conditions. However, reserve-dependent surrender values and reserve-dependent expenses are common in insurance practice. The famous Cantelli theorem in life insurance...